1Athena: A Programming Language for Proof Engineering and Natural Deduction (opens in new tab)(athena-lang.org)2fastneutron1y ago0