GitHub - math-comp/POPLmark: Solutions for the POPLmark challenge · GitHub

Name		Name	Last commit message	Last commit date
README.md		README.md
_CoqProject		_CoqProject
ppmk.v		ppmk.v
ppmk2.v		ppmk2.v

Repository files navigation

Solutions to the POPLmark Challenge by Georges Gonthier, ported to MathComp 1.9 by Enrico Tassi.

About

Solutions for the POPLmark challenge

coq mathcomp ssreflect

Custom properties

8 stars

15 watching

Report repository

Releases

Packages

Contributors

Languages