Solutions for the POPLmark challenge
Primary LanguageCoq
Solutions to the POPLmark Challenge by Georges Gonthier, ported to MathComp 1.9 by Enrico Tassi.