benmandrew/CEGIW-errata
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Errata for CEGIW
3 commits 1 branch 0 tags 489 KiB
  • TeX 100%
Find a file
Exact
benmandrew dba3ac49cf
 docs(errata): link the Lean formalisation from Provenance 
Provenance describes the Lean 4 development the corrections came
from but gave no way to reach it. Adds a footnote pointing at
github.com/benmandrew/cegiw-lean on the first mention.
2026-08-23 22:52:32 +01:00
.gitignore docs: add erratum for CEGIW paper 2026-08-23 22:14:41 +01:00
errata.pdf docs(errata): link the Lean formalisation from Provenance 2026-08-23 22:52:32 +01:00
errata.tex docs(errata): link the Lean formalisation from Provenance 2026-08-23 22:52:32 +01:00
llncs.cls docs: add erratum for CEGIW paper 2026-08-23 22:14:41 +01:00