4 ms·
What on earth else would you select it for?
by edflsafoiewq 4y ago
What on earth else would you select it for?
- alimw 4y agoUnfortunately I can't find the link but somewhere out there I've seen one you'd like; a radically helpful theorem prover that advertises itself as the quickest and easiest way to prove anything. The joke is that everything is true. For those in this thread who are interested in HoTT and looking for a way in, I'll point out this series of online lectures (+ discord etc. in fact a school) beginning very soon and seemingly designed to provide that introduction. https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer...