Lean AI Formalization Leaderboard(lean-lang.org)1 points by frozenseven 30 days ago | 0 commentsNo comments yet