Explore projects

Matthieu Suce Des Pneus

Notes de cours de M1 - fork de celles de Fabrice

Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.

Programs written during my M1 internship.

Fichiers source de mon manuscrit de thèse

Le dépot de PLAID Isaline. Désavantage : Les plans sont écrits point par point (donc pas en détails). Avantage : Tout est sourcé, du moins dans la mesure du possible. Il y a les plans de toutes les leçons.

Yet Another Proof Asistant (for fun).

Test of Gitlab Pages, available at https://rgrunbla.pages.aliens-lyon.fr/test-gitlab-pages

Appendix of the report "Levenberg-Marquardt on Manifolds"

Documents d'inscription pour les participantes à Azertoutes

Projet d'OA du M1IF 2018-2019 : implémentation de l'algorithme du simplexe