Harmonic's IMO 2025 Results

Harmonic's model Aristotle achieved gold medal performance, solving 5 problems. This repository contains the lean statement files and proofs for Problems 1-5.

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
HarmonicLean		HarmonicLean
.gitignore		.gitignore
HarmonicLean.lean		HarmonicLean.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Navigation Menu

Repository navigation

About

Repository files navigation

Harmonic's IMO 2025 Results

About

Releases

Packages

Used by

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

Harmonic's IMO 2025 Results

About

Resources

Stars

Watchers

Forks

Releases

Packages

Used by

Contributors

Languages