├── .gitignore ├── README.md ├── chapters ├── ack.tex ├── conclusions.tex ├── coq-conversion.tex ├── coq-inference.tex ├── coq-meta-theory.tex ├── coq-orders.tex ├── coq-overiew.tex ├── coq-positions.tex ├── coq-reduction.tex ├── coq-spec.tex ├── dependent-types.tex ├── desirable-props.tex ├── elim-conclusion.tex ├── elim-formalised.tex ├── elim-hott.tex ├── elim-reflection-framework.tex ├── elim-reflection-intro.tex ├── elim-rel.tex ├── elim-trans.tex ├── flavours.tex ├── formalisation.tex ├── french.tex ├── how-to-read.tex ├── introduction.tex ├── models.tex ├── proof-theory.tex ├── simple-types.tex ├── translations.tex └── usual-defs.tex ├── coq ├── cat.v ├── let.v └── orders.v ├── cpp-macros.tex ├── images ├── box-contains-feline-fr.pdf ├── box-contains-feline.pdf ├── cerificate-fr.pdf ├── cerificate.pdf ├── chatbot-kernel.pdf ├── conv-exists-fr.pdf ├── conv-exists.pdf ├── convo-abort-fr.pdf ├── convo-abort.pdf ├── convo-after-exists-fr.pdf ├── convo-after-exists.pdf ├── convo-case1-fr.pdf ├── convo-case1.pdf ├── convo-case2-fr.pdf ├── convo-case2.pdf ├── convo-case3-fr.pdf ├── convo-case3.pdf ├── convo-focus-fr.pdf ├── convo-focus.pdf ├── convo-indeed-fr.pdf ├── convo-indeed.pdf ├── convo-proven-fr.pdf ├── convo-proven.pdf ├── convo-take-third-fr.pdf ├── convo-take-third.pdf ├── convo-trivial-fr.pdf ├── convo-trivial.pdf ├── convo10-fr.pdf ├── convo10.pdf ├── convo11-fr.pdf ├── convo11.pdf ├── convo12-fr.pdf ├── convo12.pdf ├── convo13-fr.pdf ├── convo13.pdf ├── convo7-fr.pdf ├── convo7.pdf ├── convo8-fr.pdf ├── convo8.pdf ├── convo9-fr.pdf ├── convo9.pdf ├── coq-chatbot.pdf ├── coq-kernel.pdf ├── elim-reflection-summary.pdf ├── error-box-feline-fr.pdf ├── error-box-feline.pdf ├── error-incomplete-fr.pdf ├── error-incomplete.pdf ├── how-to-prove-fr.pdf ├── how-to-prove.pdf ├── iwant-is-fr.pdf ├── iwant-is.pdf ├── iwanterror-fr.pdf ├── iwanterror.pdf ├── model.pdf ├── modern-art.pdf ├── tree-position.pdf └── trusted-theory.pdf ├── import └── cover.pdf ├── kaobook.cls ├── macros.tex ├── main.bib ├── main.tex └── styles ├── environments.sty ├── kao.sty ├── kaobiblio.sty ├── kaorefs.sty ├── mdftheorems.sty ├── packages.sty └── plaintheorems.sty /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/README.md -------------------------------------------------------------------------------- /chapters/ack.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/ack.tex -------------------------------------------------------------------------------- /chapters/conclusions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/conclusions.tex -------------------------------------------------------------------------------- /chapters/coq-conversion.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/coq-conversion.tex -------------------------------------------------------------------------------- /chapters/coq-inference.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/coq-inference.tex -------------------------------------------------------------------------------- /chapters/coq-meta-theory.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/coq-meta-theory.tex -------------------------------------------------------------------------------- /chapters/coq-orders.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/coq-orders.tex -------------------------------------------------------------------------------- /chapters/coq-overiew.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/coq-overiew.tex -------------------------------------------------------------------------------- /chapters/coq-positions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/coq-positions.tex -------------------------------------------------------------------------------- /chapters/coq-reduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/coq-reduction.tex -------------------------------------------------------------------------------- /chapters/coq-spec.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/coq-spec.tex -------------------------------------------------------------------------------- /chapters/dependent-types.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/dependent-types.tex -------------------------------------------------------------------------------- /chapters/desirable-props.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/desirable-props.tex -------------------------------------------------------------------------------- /chapters/elim-conclusion.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/elim-conclusion.tex -------------------------------------------------------------------------------- /chapters/elim-formalised.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/elim-formalised.tex -------------------------------------------------------------------------------- /chapters/elim-hott.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/elim-hott.tex -------------------------------------------------------------------------------- /chapters/elim-reflection-framework.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/elim-reflection-framework.tex -------------------------------------------------------------------------------- /chapters/elim-reflection-intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/elim-reflection-intro.tex -------------------------------------------------------------------------------- /chapters/elim-rel.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/elim-rel.tex -------------------------------------------------------------------------------- /chapters/elim-trans.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/elim-trans.tex -------------------------------------------------------------------------------- /chapters/flavours.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/flavours.tex -------------------------------------------------------------------------------- /chapters/formalisation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/formalisation.tex -------------------------------------------------------------------------------- /chapters/french.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/french.tex -------------------------------------------------------------------------------- /chapters/how-to-read.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/how-to-read.tex -------------------------------------------------------------------------------- /chapters/introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/introduction.tex -------------------------------------------------------------------------------- /chapters/models.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/models.tex -------------------------------------------------------------------------------- /chapters/proof-theory.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/proof-theory.tex -------------------------------------------------------------------------------- /chapters/simple-types.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/simple-types.tex -------------------------------------------------------------------------------- /chapters/translations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/translations.tex -------------------------------------------------------------------------------- /chapters/usual-defs.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/chapters/usual-defs.tex -------------------------------------------------------------------------------- /coq/cat.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/coq/cat.v -------------------------------------------------------------------------------- /coq/let.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/coq/let.v -------------------------------------------------------------------------------- /coq/orders.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/coq/orders.v -------------------------------------------------------------------------------- /cpp-macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/cpp-macros.tex -------------------------------------------------------------------------------- /images/box-contains-feline-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/box-contains-feline-fr.pdf -------------------------------------------------------------------------------- /images/box-contains-feline.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/box-contains-feline.pdf -------------------------------------------------------------------------------- /images/cerificate-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/cerificate-fr.pdf -------------------------------------------------------------------------------- /images/cerificate.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/cerificate.pdf -------------------------------------------------------------------------------- /images/chatbot-kernel.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/chatbot-kernel.pdf -------------------------------------------------------------------------------- /images/conv-exists-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/conv-exists-fr.pdf -------------------------------------------------------------------------------- /images/conv-exists.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/conv-exists.pdf -------------------------------------------------------------------------------- /images/convo-abort-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-abort-fr.pdf -------------------------------------------------------------------------------- /images/convo-abort.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-abort.pdf -------------------------------------------------------------------------------- /images/convo-after-exists-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-after-exists-fr.pdf -------------------------------------------------------------------------------- /images/convo-after-exists.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-after-exists.pdf -------------------------------------------------------------------------------- /images/convo-case1-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-case1-fr.pdf -------------------------------------------------------------------------------- /images/convo-case1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-case1.pdf -------------------------------------------------------------------------------- /images/convo-case2-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-case2-fr.pdf -------------------------------------------------------------------------------- /images/convo-case2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-case2.pdf -------------------------------------------------------------------------------- /images/convo-case3-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-case3-fr.pdf -------------------------------------------------------------------------------- /images/convo-case3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-case3.pdf -------------------------------------------------------------------------------- /images/convo-focus-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-focus-fr.pdf -------------------------------------------------------------------------------- /images/convo-focus.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-focus.pdf -------------------------------------------------------------------------------- /images/convo-indeed-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-indeed-fr.pdf -------------------------------------------------------------------------------- /images/convo-indeed.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-indeed.pdf -------------------------------------------------------------------------------- /images/convo-proven-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-proven-fr.pdf -------------------------------------------------------------------------------- /images/convo-proven.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-proven.pdf -------------------------------------------------------------------------------- /images/convo-take-third-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-take-third-fr.pdf -------------------------------------------------------------------------------- /images/convo-take-third.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-take-third.pdf -------------------------------------------------------------------------------- /images/convo-trivial-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-trivial-fr.pdf -------------------------------------------------------------------------------- /images/convo-trivial.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo-trivial.pdf -------------------------------------------------------------------------------- /images/convo10-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo10-fr.pdf -------------------------------------------------------------------------------- /images/convo10.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo10.pdf -------------------------------------------------------------------------------- /images/convo11-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo11-fr.pdf -------------------------------------------------------------------------------- /images/convo11.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo11.pdf -------------------------------------------------------------------------------- /images/convo12-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo12-fr.pdf -------------------------------------------------------------------------------- /images/convo12.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo12.pdf -------------------------------------------------------------------------------- /images/convo13-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo13-fr.pdf -------------------------------------------------------------------------------- /images/convo13.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo13.pdf -------------------------------------------------------------------------------- /images/convo7-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo7-fr.pdf -------------------------------------------------------------------------------- /images/convo7.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo7.pdf -------------------------------------------------------------------------------- /images/convo8-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo8-fr.pdf -------------------------------------------------------------------------------- /images/convo8.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo8.pdf -------------------------------------------------------------------------------- /images/convo9-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo9-fr.pdf -------------------------------------------------------------------------------- /images/convo9.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/convo9.pdf -------------------------------------------------------------------------------- /images/coq-chatbot.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/coq-chatbot.pdf -------------------------------------------------------------------------------- /images/coq-kernel.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/coq-kernel.pdf -------------------------------------------------------------------------------- /images/elim-reflection-summary.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/elim-reflection-summary.pdf -------------------------------------------------------------------------------- /images/error-box-feline-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/error-box-feline-fr.pdf -------------------------------------------------------------------------------- /images/error-box-feline.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/error-box-feline.pdf -------------------------------------------------------------------------------- /images/error-incomplete-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/error-incomplete-fr.pdf -------------------------------------------------------------------------------- /images/error-incomplete.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/error-incomplete.pdf -------------------------------------------------------------------------------- /images/how-to-prove-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/how-to-prove-fr.pdf -------------------------------------------------------------------------------- /images/how-to-prove.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/how-to-prove.pdf -------------------------------------------------------------------------------- /images/iwant-is-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/iwant-is-fr.pdf -------------------------------------------------------------------------------- /images/iwant-is.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/iwant-is.pdf -------------------------------------------------------------------------------- /images/iwanterror-fr.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/iwanterror-fr.pdf -------------------------------------------------------------------------------- /images/iwanterror.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/iwanterror.pdf -------------------------------------------------------------------------------- /images/model.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/model.pdf -------------------------------------------------------------------------------- /images/modern-art.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/modern-art.pdf -------------------------------------------------------------------------------- /images/tree-position.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/tree-position.pdf -------------------------------------------------------------------------------- /images/trusted-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/images/trusted-theory.pdf -------------------------------------------------------------------------------- /import/cover.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/import/cover.pdf -------------------------------------------------------------------------------- /kaobook.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/kaobook.cls -------------------------------------------------------------------------------- /macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/macros.tex -------------------------------------------------------------------------------- /main.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/main.bib -------------------------------------------------------------------------------- /main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/main.tex -------------------------------------------------------------------------------- /styles/environments.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/styles/environments.sty -------------------------------------------------------------------------------- /styles/kao.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/styles/kao.sty -------------------------------------------------------------------------------- /styles/kaobiblio.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/styles/kaobiblio.sty -------------------------------------------------------------------------------- /styles/kaorefs.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/styles/kaorefs.sty -------------------------------------------------------------------------------- /styles/mdftheorems.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/styles/mdftheorems.sty -------------------------------------------------------------------------------- /styles/packages.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/styles/packages.sty -------------------------------------------------------------------------------- /styles/plaintheorems.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TheoWinterhalter/phd-thesis/HEAD/styles/plaintheorems.sty --------------------------------------------------------------------------------