LeanEval leaderboard Formalization evaluationSoftware verificationOpen problemsRecent solutions Loading leaderboard data… This leaderboard uses client-side tables. Enable JavaScript to inspect it; the legacy leaderboard remains available from the link above.