Denis Merigoux e68d86a3cb Fist theorem proven		2021-02-08 10:17:38 +01:00
..
formalization	Fist theorem proven	2021-02-08 10:17:38 +01:00
images	Fixed screenshot mangling	2021-01-03 18:56:03 +01:00
out_of_date	Improved readmes	2020-12-14 10:59:15 +01:00