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

Conversation

@amit9oct

Copy link
Copy Markdown
Collaborator

No description provided.

@amit9oct
amit9oct merged commit 830a9a9 into main Aug 21, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant