/hashlife-ocaml

Previous project developped during our "Travail d'Etudes et de Recherches", under the supervision of Jean-Christophe Filliâtre (LRI).

Primary LanguageOCaml

Watchers