MathComp Tutorial Materials

github.comtool

Source code for Mathematical Components tutorials.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   MathComp School github.com

   tool category #coq link ↗

   Coq sources for lessons and exercises that introduce the SSReflect proof language and the Mathematical Components library.

   
2. ▲
   Mathematical Components wiki github.com

   site category #coq link ↗
3. ▲
   MathComp Extra github.com

   tool category #coq link ↗

   Extra material for the Mathematical Components library, including the AKS primality test and RSA encryption and decryption.

4. ▲
   Docker-MathComp github.com

   tool category #coq link ↗

   Docker images for many combinations of versions of Coq and the Mathematical Components library.

   
5. ▲
   Mathematical Components math-comp.github.io

   site category #coq link ↗

   Formalization of mathematical theories, focusing in particular on group theory.

6. ▲
   The Mathematical Components book math-comp.github.io

   site category #coq link ↗

   Book oriented towards mathematically inclined users, focusing on the Mathematical Components library and the SSReflect proof language.

Coq › Resources > Tutorials and Hints: “Source code for Mathematical Components tutorials.”