https://lukaszcz.github.io//formalizations/ https://lukaszcz.github.io//rocq/ https://lukaszcz.github.io// https://lukaszcz.github.io//papers/ https://lukaszcz.github.io//software/ https://lukaszcz.github.io//teaching/ https://lukaszcz.github.io//theses/ https://lukaszcz.github.io//dict2/ 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/aut-en.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/aut-pl.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/cairo-pres.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/cicm2018.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/coind.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/combs.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/coqpl-pres.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/focoind.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/fossacs.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/fscd2019-pres.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/itrs.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/logspace-pres.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/logspace.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/needed.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/param.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/phd.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/pres-focoind.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/pres-fscd2017.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/pres-phd.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/pres-rtatlca2014.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/sauto-pres.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/sauto.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//papers/types2016.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet01.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet02.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet03.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet04.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet05.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet06.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet07.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet08.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet09.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet10.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet11.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet12.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/exercises/sheets/sheet13.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/slides/ackermann.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/slides/slides01.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/slides/slides02.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/slides/slides03.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/slides/slides04.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/slides/slides05.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/slides/slides06.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/vrenchouts/basic_tactics.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/vrenchouts/commands.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/vrenchouts/connectives.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/vrenchouts/equality_tactics.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/vrenchouts/notations.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//rocq-course/vrenchouts/predicate.pdf 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commandlist.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-ENoPreviousSection.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-ESrcdocError.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TComment.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TCommentParser.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TDocWriter.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TDriver.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-THandler.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-THeading.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TIndent.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TLanguageParser.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TLink.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TNewLine.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TParagraph.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TSection.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TTable.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TText.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TTextObject.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/commonclasses__-TTextObjectList.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/defdriver.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/defdriver__-TBasicDeclaration.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/defdriver__-TBlockDeclaration.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/defdriver__-TClassDeclaration.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/defdriver__-TDeclaration.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/defdriver__-TDefaultDriver.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/defdriver__-TInterfaceDeclaration.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/defdriver__-TRootDeclaration.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/defdriver__-TUnitDeclaration.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/help.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/htmlwriter.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/htmlwriter__-THtmlContentsSection.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/htmlwriter__-THtmlFileSection.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/htmlwriter__-THtmlSection.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/htmlwriter__-THtmlSubSection.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/htmlwriter__-THtmlWriter.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/ 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/languages.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/srcdoc.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/srcdoc_autogenerated_class_tree.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/srcdoc_autogenerated_contents.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/srcdoc_autogenerated_navigation.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs-dev/srcdoc_autogenerated_symbol_index.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/c123.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/c24.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/c3.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/c31.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/c39.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/c57.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/c8.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/ 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x102.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x105.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x108.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x111.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x114.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x117.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x120.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x131.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x237.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x63.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x66.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x69.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x72.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x75.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x78.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x81.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x84.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x87.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x90.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x93.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x96.html 2026-01-29T21:26:02+00:00 https://lukaszcz.github.io//srcdoc-docs/x99.html 2026-01-29T21:26:02+00:00