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