And the proof is checked in Lean

(xenaproject.wordpress.com) by trotro | Nov 12, 2026 | 0 comments on HN