http://adam.chlipala.net/ [email protected]
MIT Cambridge, MA Researcher in tools and platforms to help do niftier things with software and hardware
Adam Chlipala
Formal Reasoning About Programs
achlipala
