jopetty / coursework-latex
A LaTeX3 meta-class for typesetting lecture notes, problem sets, and other academic documents.
☆12Updated last year
Alternatives and similar repositories for coursework-latex:
Users that are interested in coursework-latex are comparing it to the libraries listed below
- A compilation of lecture notes☆15Updated 5 years ago
- ☆20Updated 4 years ago
- ☆27Updated 3 years ago
- All the math/tex files for the Automorphic Project☆18Updated 9 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Create string diagrams with LaTeX!☆13Updated last month
- Formalization of the existence of sphere eversions☆38Updated this week
- ☆49Updated 2 years ago
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- Proof artifact co-training for Lean☆42Updated 2 years ago
- A database of small finite categories☆14Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 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 6 months ago
- Topos theory in lean☆58Updated 4 years ago
- Lecture notes from Cambridge maths☆65Updated last year
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆15Updated 3 years ago
- Interactive neural theorem proving in Lean☆116Updated 2 years ago
- playing with gpt4☆14Updated last year
- ☆16Updated 4 years ago
- CoDi: Commutative Diagrams for TeX☆30Updated 9 months ago
- Tutorial on neural theorem proving☆165Updated last year
- ☆25Updated 2 years ago
- ☆14Updated 4 years ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 3 years ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Formalizing convex polyhedra in Coq☆22Updated 7 months ago
- Categorical Logic Notes☆75Updated 2 years ago
- A thicker variant of Latin Modern Roman☆16Updated 2 years ago