coq-waterproof in coq-community/awesome-coq

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.

created at June 8, 2021, 3:12 p.m.

Coq

3 +0

33 +1

11 +0

GitHub