Skip to content

SwampertX/undergraduate-thesis

Folders and files

NameName
Last commit message
Last commit date

Latest commit

6a8fdfe · Nov 14, 2023

History

14 Commits
Nov 2, 2022
Mar 6, 2023
Mar 6, 2023
May 5, 2023
Mar 26, 2023
Mar 26, 2023
Mar 26, 2023
Mar 26, 2023
Oct 5, 2022
Oct 5, 2022
Nov 14, 2023

Repository files navigation

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!

About

Formalizing Coq Modules in the MetaCoq Project

Resources

License

Stars

Watchers

Forks

Packages

No packages published