coq-waterproof

coq-waterproof

https://github.com/impermeable/coq-waterproof

Coq24

6 months ago

Reviews

Search similar apps

    License

    GNU Lesser General Public License v3.0

    Share

    Creator

    impermeable

    Related apps

    waterproof

    waterproof

    Waterproof is an educational environment for writing mathematical proofs in inte

    JavaScript27lgpl-2.1

    8 months ago

    coqserapi