Puiseuxth

NOASSERTIONRocq Prover

4 stars0 forks0 contributors

Overview

Formal proof in Coq of Puiseux's Theorem.

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

7 months ago

CreatedSince 2017

Auto-fetched 14 hours ago

A Coq library for Homotopy Type Theory

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

An axiom-free formalization of category theory in Coq for personal study and practical work

Formal proof of the Four Color Theorem [maintainer=@ybertot]