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
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