Explore projects

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.

Le magnifique PSC de ma 4A, aussi pipo que le titre le laisse penser

Project on filamentary propagation of fs light pulses.

A pipeline to extract topological features from point cloud given in .off format.

A branch and bound implementation for the Capacitated Vehicle Routing Problem (CVRP)

Travail pour le cours MAP552: Calcul stochastique en finance

Un exemple de document latex avec le package polytechnique

Le client de Chocapix, le site des bars d'étage

Le client de Chocapix, le site des bars d'étage

test

formation github

test formation br