Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
soonhokong
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
soonhokong
12y ago
Disclaimer: I am one of the maintainers of the web tutorial. Thanks for posting this! This tutorial is being used as a textbook for the 'Interactive Theorem Proving' course at Carnegie Mellon University ( http://leanprov