puiseuxth

Formal proof in Coq of Puiseux's Theorem.

4 stars

2 watching

0 forks

Language: Coq

last commit: 11 days ago

Linked from 1 awesome list

Backlinks from these awesome lists:

coq-community/awesome-coq