David JULIEN 77c20c4630 format: define thm/lem/prop before rmk...		2022-06-20 09:09:55 +02:00
bibliographies	feat: add CS bibliography file	2021-11-20 16:39:50 +01:00
format	format: define thm/lem/prop before rmk...	2022-06-20 09:09:55 +02:00
templates	[templates] use a generic template	2021-11-22 14:41:15 +01:00