https://github.com/jozefg/undergraduate-thesis
A discouraging story.
https://github.com/jozefg/undergraduate-thesis
Last synced: 3 months ago
JSON representation
A discouraging story.
- Host: GitHub
- URL: https://github.com/jozefg/undergraduate-thesis
- Owner: jozefg
- Created: 2018-04-09T21:39:27.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2018-05-08T22:38:21.000Z (about 7 years ago)
- Last Synced: 2025-01-28T16:34:33.665Z (5 months ago)
- Language: TeX
- Size: 858 KB
- Stars: 15
- Watchers: 5
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Citation: citations.bib
Awesome Lists containing this project
README
## undergrad-thesis
My undergraduate thesis: "The Next 700 Failed Step-Index-Free Logical
Relations". It describes a variety of ways one should not attempt to
build a logical relation without step-indexing for general
references.
- The thesis itself may be found in `main.pdf` or built with
`latexmk -pdf main.tex`
- The poster is under `poster/` and may be built with
`latexmk -pdf poster/meeting-of-the-minds.tex`
- The slides for a 20 minute talk given on the subject are under
`slides/` and may be built with `latexmk -pdf slides/meeting-of-the-minds.tex`