Athena: A Programming Language for Proof Engineering and Natural Deduction

2 points| fastneutron | 1 year ago |athena-lang.org