Geeks
snu-sf
/
paco
A Coq library for parametric coinduction
Primary Language
Coq
Other
NOASSERTION
paco Home Page
paco GitHub
Markdown
Readme
28
Issues
43
Stargazers
7
Watchers
Watchers
aqjune
AWS
arkadiusz-s
Grain
University of Toronto
jeehoonkang
@kaist-cp, @kaist-pl, @furiosa-ai
jhcloos
kim-yoonseung
llelf
Lysxia
minkiminki