v-moreau

v-moreau's Stars

• fmarotta/kaobook

  A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.

  Language:TeX89525205188

• engboris/transcendental-syntax

  Technical (but still naive, incomplete and unstable) interpretation of Girard's transcendental syntax

  Language:OCaml67407

• TheoWinterhalter/phd-thesis

  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.

  Language:TeX33403

• CategoryTheoryArchive/archive

  A digital archive of category theory papers.

  Language:TeX23300

• thiagofelicissimo/BiTTs

  Language:OCaml22101

• loic-p/PhD-thesis

  My PhD thesis.

  Language:TeX12200

• hmoeneclaey/operads

  Formalise ∞-monoids in two-level type theory

  Language:Agda620