Skip to content

The source for "Compiling with Dependent Types" (my dissertation)

Notifications You must be signed in to change notification settings

wilbowma/dissertation

Repository files navigation

Compiling with Dependent Types (sources)

These are the source files for building my dissertation.

Building this requires minted, Coq, OCaml, and maybe other things.

License

You may use figures and examples with acknowledgment. You may use any code freely.

Dependencies

Some (maybe not all) dependencies tlmgr install iwona cm-super acmart todo xpatch xstring appendix framed fvextra catchfile ifnextok cleveref minted tocloft classicthesis bera mparhack titlesec mathpartir placeins chngcntr stmarysd todo titlecaps environ enumitem tikz-cd mfirstuc doi totpages was upgreek ...

About

The source for "Compiling with Dependent Types" (my dissertation)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages