This repository has been archived by the owner on Dec 8, 2021. It is now read-only.

The wiki has been moved here: https://github.com/math-comp/math-comp/wiki

Follow this link if you are looking for the mathematical components tutorial presented at ITP 2016.