search

impermeable / 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.
https://impermeable.github.io/
GNU Lesser General Public License v3.0
29 stars 9 forks source link

Adapt to coq/coq#18546. #48

Closed rlepigre closed 6 months ago

ppedrot commented 6 months ago

Please merge now.