Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
froody42
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
froody42
16y ago
Learn to follow Metamath proofs. ( http://us.metamath.org/ ) Metamath allows you to start with the axioms of propositional calculus and go all the way up to set theory and beyond. When you understand Carew Meredith's sole axiom for proposit
2.
▲
by
froody42
16y ago
Big Talk? No, this is smalltalk.