Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
prolapsis
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
prolapsis
4y ago
There is a very useful website where you can prove these basic concepts one by one, they made a little game out of it, in order to show the underlying software, which is leanprover: https://www.ma.imperial.ac.uk/~buzzard
2.
▲
by
prolapsis
4y ago
There is a website where you can prove these things one by one, they made a little game out of it, using the leanprover software. I highly recommend it! https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_g