Mathematical Components wiki

github.comsite

from

Coq

added

2026-10-10

likes

0

similar

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

   site category #coq link ↗

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

2. ▲
   MathComp Tutorial Materials github.com

   tool category #coq link ↗

   Source code for Mathematical Components tutorials.

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

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

5. ▲
   Official Coq wiki github.com

   site category #coq link ↗
6. ▲
   An Introduction to MathComp-Analysis staff.aist.go.jp

   site category #coq link ↗

   Lecture notes on getting started with the Mathematical Components library and using it for classical reasoning and real analysis.