mathlib3
ac9db53f - feat(archive/imo): add formalised solution of IMO 1994 Q1

Commit

4 years ago

feat(archive/imo): add formalised solution of IMO 1994 Q1

Author

antoinelab01

antoinelab01

Parents

Loading