achlipala

Adam Chlipala's repositories

Formal Reasoning About Programs

Language:CoqNOASSERTION644 47 27

Web application for course on Formal Reasoning About Programs

Language:UrWebNOASSERTION17 5 10

UPO extensions for MIT

Language:UrWeb3 30

Code for lecture 8

Language:Java2 10

Source for the TechEmpower Framework Benchmarks project

Language:JavaNOASSERTION1 20

Language:Python1 20

Code for lecture 7

Language:Java1 20

Links to stuff arising from or related to the HACS workshop.

Accepted papers for POPL 2015

Language:Python1 20

OpenShift w/ Postgres test

Language:JavaScript1 20

Theorem proving and provers for reliable theory and implementations

Language:Coq1 20