puiseuxth

puiseuxth

https://github.com/roglo/puiseuxth

Coq4

2 years ago

Reviews

Formal proof in Coq of Puiseux's Theorem.

Search similar apps

    License

    Other

    Share

    Formal proof in Coq of Puiseux's Theorem.

    Creator

    roglo

    Related apps