Awesome Lists

coq-waterproof

by impermeable

Coqpushed almost 2 years ago

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.

AI summary

Proof writer

Helps write formal proofs in a more readable format

stars
33
forks
11
watching
3
awesome list
1
View on GitHubimpermeable.github.io

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/impermeable/coq-waterproof/links.svg)](https://awesome.facts.dev/awesome/impermeable/coq-waterproof)
HTML
<a href="https://awesome.facts.dev/awesome/impermeable/coq-waterproof"><img src="https://awesome.facts.dev/shield/impermeable/coq-waterproof/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/impermeable/coq-waterproof/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.