MIT Programming Languages & Verification Group (original) (raw)

Mission

Improve the software development process by replacing ugly development techniques with beautiful ones.

Secret weapon

Applied mathematical logic, including computer theorem proving (especially Coq) and type systems.

Code

Visit us on GitHub.