Arthur Grisel-Davy bc0c042845 move to folder		2022-08-31 16:01:44 -04:00
..
images	move to folder	2022-08-31 16:01:44 -04:00
presentation_formalization.tex	move to folder	2022-08-31 16:01:44 -04:00