Commit Graph

3 Commits

Author SHA1 Message Date
ea004dcef7 fixup! fixup! . 2022-10-23 20:39:48 +02:00
05767cdf81 intro + les plans 2022-10-19 21:19:45 +02:00
5f62ebed1c geo and logi; ineq missing 2022-10-18 12:14:58 +02:00