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