math-comp/wiki

general wiki of the math-comp organization

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.