Static analyzer for the Semantics and Verification course at École Normale Supérieure.
Projet de sémantique 2015
