2 ms·
The vocabulary requirements for "Proof Designer" are certainly higher. This repo is closer to an intro to automated theorem proving than "Proof Designer" is (i
by fn-mote 2y ago
The vocabulary requirements for "Proof Designer" are certainly higher.
This repo is closer to an intro to automated theorem proving than "Proof Designer" is (imo). Less math, more programming.
Note: Proof Designer has an excellent list of problems to try to prove. [1]
[1]: https://djvelleman.github.io/pd/help/Problems.html https://djvelleman.github.io/pd/help/Problems.html