2 ms·It's a Lean program that proves the theorem.by __MatrixMan__ 17d agoIt's a Lean program that proves the theorem.