leanprover/comparator
View on GitHub ↗ ★ 247 Lean archived
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2026-07-15 · latest 2026-09-13
20082026
-
…their work. [1] there are sub-tools such as comparator that are designed for this type of use case. https://github.com/leanprover/comparator
comment by seanhunter · 2026-09-13 · in Navier-Stokes Announcement -
Take a look at https://github.com/leanprover/comparator which was used to verify the result. It's of course not impossible that they're hitting some bug, but way harder than one would intuitively think. For starters, they'd have to hit two…
comment by HotHotLava · 2026-09-13 · in Navier-Stokes Announcement -
…be very convincing is going the extra mile and making a comparator setup for your Lean proofs. ( https://github.com/leanprover/comparator ) This ensures that the AI is not, in any way, modifiying the Lean context in ways that could lead to…
comment by aureianimus · 2026-07-15 · in Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel