A symbolic executor
2ème projet du cours de Structure des données et algorithmes.
The evolving specification for Alethe, a flexible format for SMT proofs.
Updated
