Mathematical Components

math-comp.github.iosite

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

from

Math, Coq

added

2026-10-10

likes

0

Math › Foundations and Logic > Formal Mathematics and Theorem Proving: “Rocq libraries and tools for large-scale formalized mathematics, including substantial developments in algebra and analysis.”

Coq › Projects > Type Theory and Mathematics: “Formalization of mathematical theories, focusing in particular on group theory.”