Introduction à la vérification formel - CentraleSupélec
IVF homework
Nicolas Fley & Daniel Taylor
https://github.com/wesfox/cs_ivf