1. 10
  1. 3

    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.

    1. 2

      Gamification but good

      1. 1

        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.