Skip to content

Updated the leaderboard - #74

Merged
amit9oct merged 1 commit into
mainfrom
chore/agentic-prover-leaderboard
Aug 21, 2026
Merged

Updated the leaderboard#74
amit9oct merged 1 commit into
mainfrom
chore/agentic-prover-leaderboard

Updated the leaderboard

0ae8e85
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build-and-test
succeeded Aug 21, 2026 in 13m 14s