paco

A Coq library for parametric coinduction

43 stars

9 watching

10 forks

Language: Coq

last commit: 17 days ago

Linked from 1 awesome list

Screenshot of snu-sf/paco website

github.com/snu-sf/paco

Backlinks from these awesome lists:

uhub/awesome-coq