summaryrefslogtreecommitdiffstats
path: root/controle-20250129.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2026-01-19 12:45:37 +0100
committerDavid A. Madore <david+git@madore.org>2026-01-19 12:45:37 +0100
commitf6ff6ed8783096047432e8f1ec8f474a3d94422f (patch)
tree32222dd00b043a1711e745c800b4cb4276b2ddd1 /controle-20250129.tex
parentb2e9266b06de41e1dcd329da624806e99bdc61bf (diff)
downloadinf110-lfi-f6ff6ed8783096047432e8f1ec8f474a3d94422f.tar.gz
inf110-lfi-f6ff6ed8783096047432e8f1ec8f474a3d94422f.tar.bz2
inf110-lfi-f6ff6ed8783096047432e8f1ec8f474a3d94422f.zip
Rocq is the new Coq.HEADmaster
Diffstat (limited to 'controle-20250129.tex')
0 files changed, 0 insertions, 0 deletions