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