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 ...