Skip to content
Snippets Groups Projects
Select Git revision
  • 93553a1e5e8aff44e015042334b7152ce202dffb
  • main default
  • master
  • tempAndrToMaster
4 results

Assets

Name Last commit Last update
..
WS2021/logrels/sources/bib
WS2021/logrels/sources/build
WS2021/logrels/sources/config
WS2021/logrels/sources/fonts
WS2021/logrels/sources/img
WS2021/logrels/sources/.gitignore
WS2021/logrels/sources/.latexmkrc
WS2021/logrels/sources/README.md
WS2021/logrels/sources/exclude-all-comments.tex
WS2021/logrels/sources/latex-bug-repro.tex
WS2021/logrels/sources/lipics-v2021.cls
WS2021/logrels/sources/lipics-v2021_original.cls
WS2021/logrels/sources/llncs.cls
WS2021/logrels/sources/local.sty
WS2021/logrels/sources/report-0-abstract.tex
WS2021/logrels/sources/report-1-introduction.tex
WS2021/logrels/sources/report-2-logrels-1-sn.tex
WS2021/logrels/sources/report-2-logrels-2-summary.tex
WS2021/logrels/sources/report-2-logrels.tex
WS2021/logrels/sources/report-3-lf.tex
WS2021/logrels/sources/report-4-logrels-lf-1-pl.tex
WS2021/logrels/sources/report-4-logrels-lf-2-examples.tex
WS2021/logrels/sources/report-4-logrels-lf-3-general.tex
WS2021/logrels/sources/report-4-logrels-lf-4-evaluation.tex
WS2021/logrels/sources/report-4-logrels-lf.tex
WS2021/logrels/sources/report-5-conclusion.tex
WS2021/logrels/sources/report-6-appendix.tex
WS2021/logrels/sources/report-local.sty
WS2021/logrels/sources/report.tex
WS2021/logrels/sources/rest.tex
WS2021/logrels/sources/slides-0-logrels-commands.tex
WS2021/logrels/sources/slides-1-introduction.tex
WS2021/logrels/sources/slides-2-logrels.tex
WS2021/logrels/sources/slides-3-lf.tex
WS2021/logrels/sources/slides-4-logrels-for-lf-commands.tex
WS2021/logrels/sources/slides-4-logrels-for-lf.tex
WS2021/logrels/sources/slides-5-conclusion.tex
WS2021/logrels/sources/slides-6-references.tex
WS2021/logrels/sources/slides-overview-commands.tex
WS2021/logrels/sources/slides-xxx-binary-log-rels.tex
WS2021/logrels/sources/slides-xxx-church-to-curry.tex
WS2021/logrels/sources/slides-xxx-conclusion.tex
WS2021/logrels/sources/slides.tex

Slides and Manuscript for “A Beginner's Guide to Logical Relations for a Logical Framework”

The main files are slides.tex and report.tex. Follow the % !TEX TS-program meta directive in the respective file for building.

Prebuilt PDFs can be found in ./build:

For the slides, there are two versions you can build: one without and one with attached Beamer notes. Comment or uncomment the respective line \setbeameroption{show notes on second screen} in slides.tex to switch between both variants.

How to update anything (make corrections)

  1. For the slides:

    1. Activate notes as described above.
    2. Build as hinted at above, then move ./build/slides.pdf to ./build/slides-with-notes.pdf.
    3. Deactivates notes.
    4. Build. (And leave generated ./build/slides.pdf as-is.)
  2. For the report (aka manuscript, guide): build as hinted at above.

  3. For everything: copy the updated files ./build/slides.pdf and ./build/report.pdf to https://gl.kwarc.info/supervision/seminar/-/tree/master/WS2021/logrels (as slides.pdf and guide.pdf, respectively) and keep the sources there synced with the sources here.