jopetty / coursework-latex
A LaTeX3 meta-class for typesetting lecture notes, problem sets, and other academic documents.
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for coursework-latex
- A compilation of lecture notes☆15Updated 5 years ago
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- ☆20Updated 3 years ago
- Create string diagrams with LaTeX!☆13Updated 6 months ago
- ☆27Updated 3 years ago
- Topos theory in lean☆56Updated 3 years ago
- CoDi: Commutative Diagrams for TeX☆30Updated 7 months ago
- Proof artifact co-training for Lean☆42Updated last year
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆63Updated this week
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Categorical Logic Notes☆74Updated 2 years ago
- Python talking to the Lean theorem prover☆41Updated 3 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 7 months ago
- Lecture notes on intensional semantics by Kai von Fintel and Irene Heim☆44Updated 3 months ago
- Formalized quantum computing in Lean theorem prover☆21Updated 3 years ago
- Linear Algebra Done...Lean☆16Updated 6 years ago
- A database of small finite categories☆14Updated 10 months ago
- some maths papers in English☆18Updated last week
- A thicker variant of Latin Modern Roman☆16Updated 2 years ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆51Updated 4 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆29Updated 4 months ago
- Mathport is a tool for porting Lean3 projects to Lean4☆43Updated this week
- ☆49Updated 2 years ago
- Formalization of the existence of sphere eversions☆36Updated this week
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- A package to typeset ZX calculus directly in LaTeX.☆13Updated 8 months ago
- Links to recourses for the Lean Theorem Prover☆10Updated 4 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago