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