Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
allxnb
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
allxnb
2y ago
Presenting this just as "translating into formal language" omits important information. Lean isn't just a formal language, it is also a theorem prover, Could the IMO participants use the nlinarith tactic? Could they use oth