This repository contains the source code of the poster and slides of my presentation for EECS 4080, the Computer Science Project course.
See Magic of Specifications and Type Systems for more information.
Use latexmk -pdf poster.tex to generate the PDF. Or alternatively,
use latexmk -pdf -pvc cv.tex to preview and automatically re-compile when
saving changes.
Before compiling the slides follow the instructions to install the Metropolis theme. Optionally, you may want to install the Fira font.
Use latexmk -xelatex slides.tex to generate the PDF. Or alternatively,
use latexmk -xelatex -pvc slides.tex to preview and automatically re-compile
when saving changes.
The source code for both the poster and slides are licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.