Geeks
math-comp
/
POPLmark
Solutions for the POPLmark challenge
Primary Language
Coq
POPLmark GitHub
Markdown
Readme
0
Issues
7
Stargazers
16
Watchers
Watchers
affeldt-aist
amahboubi
anton-trunov
TON Foundation
chdoc
CohenCyril
Inria
eemailme
ejgallego
Inria
gares
@coq @math-comp @LPCIC
ggonthier
Inria
jhcloos
LaurenceRideau
llelf
pi8027
Nantes, France
strub
thery
INRIA
ybertot
Inria