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