Lean AI Formalization Leaderboard

1 pointsposted 9 hours ago
by frozenseven
(lean-lang.org)

No comments yet