Show HN: Tzimtsum, an auto theorem prover for addition (Presburger arithmetic) (modalduality.org) 2 points by modalduality 8y ago ↗ HN
0 comments
[ 3.9 ms ] story [ 18.4 ms ] threadNo comments yet.