Tariq on Nostr: I'm developing a #Lean4 for #maths proofs course .. .. designed specifically to ease ...

I'm developing a #Lean4 for #maths proofs course ..

.. designed specifically to ease learning the very basics with intentionally simple clear examples.

⭐️ "by beginners, for beginners" ⭐️

join us as on our journey..

🎬 youtube: https://www.youtube.com/@LeanFirstSteps/videos

📚 blog: https://leanfirststeps.blogspot.com