2 ms·
Ok, I'll download lean4 and read the tutorials. Everything else I've tried that Prof. Tao has suggested has worked well. I didn't really realize that proof soft
by lanstin 3y ago
Ok, I'll download lean4 and read the tutorials. Everything else I've tried that Prof. Tao has suggested has worked well. I didn't really realize that proof software had advanced so far. I tried to do a project in undergrad to put a lot of ZFC into Prolog but it was just too early to work.
- swagmoney1606 3y agoLean4 has been a pleasure to learn so far! Starting with the natural numbers game was great for me: https://adam.math.hhu.de/ https://adam.math.hhu.de/