Solutions for the POPLmark challenge
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Solutions to the POPLmark Challenge by Georges Gonthier, ported to MathComp 1.9 by Enrico Tassi.