HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where possible
-
Updated
Oct 6, 2026 - Lean
HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where possible
First Solutions of Savchenko Problems in Physics
Website of the Belarusian Physics Olympiad(BelPhO)
A comprehensive data analysis project examining Apple iPhone trends, specs, and historical models using Python, Pandas, and data visualization tools.
Master study curriculum, curated textbook library, and Olympiad/PhD problem archives for mastering Classical Mechanics — from Newtonian foundations to Symplectic Geometry & Chaos.
To associate your repository with the ipho topic, visit your repo's landing page and select "manage topics."