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