Explore projects

script pour la modélisation d'une flamme

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.

Un exemple de document latex avec le package polytechnique

Project on filamentary propagation of fs light pulses.