4 ms·
I’m excited to take a look. I like and usually recommend Daniel Velleman’s “Proof Designer” but I’ve heard from some it’s too obtuse for beginners.
by Q6T46nT668w6i3m 2y ago
I’m excited to take a look. I like and usually recommend Daniel Velleman’s “Proof Designer” but I’ve heard from some it’s too obtuse for beginners.
- fn-mote 2y agoThe 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