Hacker News new | ask | show | jobs
by UltraSane 7 hours ago
The geometric kernel is written in Lean and is thus also verified by the Lean prover.