screenshot of Lean First Step YouTube channel

Notices where this attachment appears

1. Embed this notice
   Tariq (rzeta0@mastodon.social)'s status on Tuesday, 17-Sep-2024 21:51:10 JST Tariq

   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 on our journey..

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

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