Athena: A Programming Language for Proof Engineering and Natural Deduction (athena-lang.org) 2 points by fastneutron 1y ago ↗ HN
0 comments
[ 2.8 ms ] story [ 6.6 ms ] threadNo comments yet.