Hacker News new | ask | show | jobs
Athena: A Programming Language for Proof Engineering and Natural Deduction (athena-lang.org)
2 points by fastneutron 635 days ago