What is Nostr?
Tariq /
npub1xsr…tf6m
2024-09-17 12:14:12

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

Author Public Key
npub1xsrfffw8z907pyv0ulkfqwrcvkfw8qz0rg8y2l37p8gran76m34s2ctf6m