The Mathematical Components book

math-comp.github.iosite

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

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 math-comp.github.io

   site category #coq link ↗

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

3. ▲
   Mathematical Components wiki github.com

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

5. ▲
   MathComp Tutorial Materials github.com

   tool category #coq link ↗

   Source code for Mathematical Components tutorials.

6. ▲
   Comprehensive Mathematics for Computer Scientists springer.com

   site category #theoretical-computer-science link ↗

   A series dedicated to math topics and their relevance to computer science.

Coq › Resources > Books: “Book oriented towards mathematically inclined users, focusing on the Mathematical Components library and the SSReflect proof language.”