HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by rawling | Hacker News Reader
Parent
Full thread
rawling
·
The last box, per
https://news.ycombinator.com/item?id=49568667
View on HN
throw567643u8
·
Has Lean proved the Four Colour Theorem? I thought only Rocq had.
Smaug123
·
It’s an aggregated list, not a list of formalisations in Lean - the checkbox is “things formalised in
any
prover”.
Reply on news.ycombinator.com