Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
tromoi57
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
tromoi57
6y ago
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 part of the challenge. You need enough
2.
▲
by
tromoi57
6y ago
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/playlist?list=PLlF-CfQhukNlxex