3 ms·Athena: A Programming Language for Proof Engineering and Natural Deduction2 points by fastneutron 2y ago