I haven’t yet finished it (blocked on Advanced Multiplication World 1/4), but I finally found a tool that made me learn the computer assisted theorem proving in a way that is understandable by mere humans without a lot of theoretical background.
Do not @ me for wasted hours, it is super engaging.
Is it just me, or can I not interact with it at all? There’s allegedly a text box to enter Lean into, but for me, it’s totally empty. I can’t seem to get it to work on Firefox, Chrome, or Safari.
I haven’t yet finished it (blocked on Advanced Multiplication World 1/4), but I finally found a tool that made me learn the computer assisted theorem proving in a way that is understandable by mere humans without a lot of theoretical background.
Do not @ me for wasted hours, it is super engaging.
Gamification but good
Is it just me, or can I not interact with it at all? There’s allegedly a text box to enter Lean into, but for me, it’s totally empty. I can’t seem to get it to work on Firefox, Chrome, or Safari.