3 ms·The geometric kernel is written in Lean and is thus also verified by the Lean prover.by UltraSane 3mo agoThe geometric kernel is written in Lean and is thus also verified by the Lean prover.