Give AlbumentationsX a star on GitHub — it powers this leaderboard
Lean 4 programming language and theorem prover