Athena: A Programming Language for Proof Engineering and Natural Deduction

No comments yet.