Skip to content
International Mathematics Olympiad in Coq
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

IMO in Coq

This project gives a proof of a (generalisation of) question 3 from the International Mathematical Olympiad in 2001.

The main motivation was to learn Coq. It was a fun project!

Some discussion here.

You can’t perform that action at this time.