search

snu-sf / paco

A Coq library for parametric coinduction
https://github.com/snu-sf/paco
Other
43 stars 10 forks source link

add compose notation #21

Closed minkiminki closed 5 years ago