Lean AI Formalization Leaderboard

1 points | by frozenseven 9 hours ago