Viewing profile — tromoi57

Well, climbing Mt. Everest is also "just moving your arms and legs". But I'm not up to that task! It's certainly possible in principle, but whether it's possible in practice is par…

See the resources over at https://leanprover-community.github.io/learn.html and the youtube playlist of the Lean for the Curious Mathematician workshop: https://www.youtube.com/pla…