coq-waterproof

The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Search similar apps

    License

    GNU Lesser General Public License v3.0

    The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

    Creator

    impermeable

    Related apps

    waterproof

    waterproof

    Waterproof is an educational environment for writing mathematical proofs in inte

    JavaScript35lgpl-2.1

    8 months ago

    coqserapi