2 commits

Author	SHA1	Message	Date
Arthur Grisel-Davy	17527217ae	light modification of text	2022-10-12 16:42:20 -04:00
Arthur Grisel-Davy	bc0c042845	move to folder	2022-08-31 16:01:44 -04:00

Renamed from DSD/presentation_formalization.tex (Browse further)