issues
search
snu-sf
/
paco
A Coq library for parametric coinduction
https://github.com/snu-sf/paco
Other
43
stars
10
forks
source link
Adapt to coq/coq#17035 (remove hresolve)
#47
Closed
SkySkimmer
closed
1 year ago