Home

Adam Chlipala

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

 

Project Admins: