Lean AI Formalization Leaderboard

(lean-lang.org) by frozenseven | Sep 2, 2026 | 0 comments on HN