AxiomMath / REPOSITORY
IMO2026
AxiomProver at IMO 2026 (perfect score)
Developer toolsLicense unchecked
Explore repositoryOriginal HN title; author claims are not independently verified.
1Top HN score
0Total comments
1Linked discussions
GO STRAIGHT TO THE SOURCE