Arthur Grisel-Davy 17527217ae light modification of text		2022-10-12 16:42:20 -04:00
..
images	move to folder	2022-08-31 16:01:44 -04:00
presentation_formalization.tex	light modification of text	2022-10-12 16:42:20 -04:00