impermeable / coq-waterproofLinks

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.
39Updated 2 weeks ago

Alternatives and similar repositories for coq-waterproof

Users that are interested in coq-waterproof are comparing it to the libraries listed below

Sorting: