Cambridge, MA

Adam Chlipala

Elite
@achlipala

Researcher in tools and platforms to help do niftier things with software and hardware

adam.chlipala.net/

frap. Formal Reasoning About Programs

730

frapapp. Web application for course on Formal Reasoning About Programs

18

upo_mit. UPO extensions for MIT

4

L08-abstract-datatypes2. Code for lecture 8

3

testpg. OpenShift w/ Postgres test

2

L07-abstract-datatypes1. Code for lecture 7

2

hacspec. Python

1

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

1

popl2015-papers. Accepted papers for POPL 2015

1

TPP2014. Theorem proving and provers for reliable theory and implementations

1
10
Apply