Athena: A Programming Language for Proof Engineering and Natural Deduction

by fastneutronon 9/25/2024, 3:06 PMwith 0 comments

0