snu-sf / paco

A Coq library for parametric coinduction

https://github.com/snu-sf/paco

Other

43 stars 10 forks source link

-R => -Q #25

Closed minkiminki closed 5 years ago

minkiminki commented 5 years ago

24