Yee Jian's Undergraduate Thesis

My thesis topic is "Formalizing Coq Modules in the MetaCoq Project".

You can find my compiled PDFs of the final report and presentation slides in the releases page.

The source files for the final report and presentation slides are in final-report-new, and final-report-new/presentation respectively. To compile them locally, run

xelatex --shell-escape
biber
xelatex --shell-escape
xelatex --shell-escape

Enjoy!