Explore projects

INF 421 project

Integration of the Nunchaku model finder in the Lean theorem prover.

Internship project at the VU Amsterdam. With the help and precious guidance of Jasmin Blanchette and Johannes Hölzl.

Project that was developed in Symfony 3.4 for Centre Hospitalier de l'Ordre de Malte (C.H.O.M.) as an enterprise resource planning.

INF 421 project