Home

Adam Chlipala

A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant


Project Admins: