jopetty / coursework-latexLinks
A LaTeX3 meta-class for typesetting lecture notes, problem sets, and other academic documents.
☆13Updated 2 years ago
Alternatives and similar repositories for coursework-latex
Users that are interested in coursework-latex are comparing it to the libraries listed below
Sorting:
- Create string diagrams with LaTeX!☆14Updated 8 months ago
- ☆21Updated 4 years ago
- Formalization of the existence of sphere eversions☆43Updated last week
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆14Updated 4 years ago
- A compilation of lecture notes☆16Updated 6 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Updated last month
- Topos theory in lean☆64Updated 4 years ago
- ☆27Updated 3 years ago
- A thicker variant of Latin Modern Roman☆16Updated 3 months ago
- ☆16Updated 3 months ago
- Topos theory in Lean 4☆15Updated 7 months ago
- Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…☆21Updated last month
- Congruence Closure Procedure in Cubical Agda☆17Updated 5 years ago
- ☆11Updated 5 years ago
- ☆16Updated last year
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated last month
- ☆14Updated 2 weeks ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Updated 8 years ago
- ☆26Updated 2 years ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆27Updated last year
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Updated 3 months ago
- ☆15Updated last year
- ☆17Updated 3 years ago
- Write formal proofs in natural language and LaTeX.☆42Updated last week
- Higher Algebra with Opetopic Types☆16Updated 2 years ago
- ☆16Updated 2 weeks ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆32Updated 3 years ago
- ☆14Updated last year
- Agda code for experimenting with internal models of cubical type theory☆15Updated 7 years ago