Skip to main content

Mathematical Components are libraries of formalized mathematics developed using the Coq proof assistant.

References:
Home page