Tariq on Nostr: content is growing slowly... join us as we - very much beginners - learn to use #lean ...

content is growing slowly...

join us as we - very much beginners - learn to use #lean to write simple #maths proofs

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

blog: https://leanfirststeps.blogspot.com/p/contents.html