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
- All the math/tex files for the Automorphic Project☆18Updated 11 months ago
- A compilation of lecture notes☆15Updated 5 years ago
- ☆20Updated 4 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Proof artifact co-training for Lean☆44Updated 2 years ago
- CoDi: Commutative Diagrams for TeX☆30Updated 11 months ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆17Updated 3 months ago
- Material from M1P1, formalised in Lean☆15Updated 5 years ago
- Proof recording for Lean 3☆26Updated 3 years ago
- A controlled natural language for calculus of inductive constructions, based on Forthel.☆15Updated 4 years ago
- ☆10Updated this week
- ☆27Updated 3 years ago
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- some maths papers in English☆18Updated 2 weeks ago
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 11 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Formal verification of parts of the Stacks Project in Lean☆21Updated 3 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆10Updated last year
- Lecture notes from Cambridge maths☆66Updated last year
- ☆49Updated 2 years ago
- Formalization of the existence of sphere eversions☆40Updated last week
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 2 months ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆13Updated last month
- Formalization of IMO shortlist problems in Lean 4☆14Updated 3 months ago
- Mathport is a tool for porting Lean3 projects to Lean4☆43Updated 4 months ago
- Topos theory in lean☆59Updated 4 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago