47,133 repositories indexed
A repository shows when it has any selected Tag.
No Tag matches.
Filters
1–1 of 1 · Most stars
Formal proof in Coq of Puiseux's Theorem.