MathComp School

github.comtool

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

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   MathComp Tutorial Materials github.com

   tool category #coq link ↗

   Source code for Mathematical Components tutorials.

2. ▲
   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.

3. ▲
   Mathematical Components wiki github.com

   site category #coq link ↗
4. ▲
   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.

5. ▲
   Coqtail Math github.com

   tool category #coq link ↗

   Library of mathematical results ranging from arithmetic to real and complex analysis.

   
6. ▲
   SSProve github.com

   tool category #coq link ↗

   Framework for modular cryptographic proofs based on the Mathematical Components library.

   

Coq › Resources > Course Material: “Coq sources for lessons and exercises that introduce the SSReflect proof language and the Mathematical Components library.”