sebaseb98 / clean-math-thesisLinks
Typst thesis template specialized on needs of mathematics.
☆10Updated last month
Alternatives and similar repositories for clean-math-thesis
Users that are interested in clean-math-thesis are comparing it to the libraries listed below
Sorting:
- A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.☆30Updated last year
- A Rust/WASM implementation of homotopy.io☆101Updated this week
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆19Updated 7 months ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆68Updated last year
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Riemann Hypothesis in Lean☆41Updated 4 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆84Updated 3 weeks ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆70Updated 3 months ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆67Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Updated last year
- Formalization of 2LTT in Agda☆16Updated 3 weeks ago
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Updated 2 months ago
- DRAT proof processor☆15Updated 2 years ago
- ☆16Updated 2 years ago
- Rust bindings for the Lean 4 proof assistant☆38Updated 6 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- Natural language tactics to teach mathematics using Lean 4☆90Updated last month
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆128Updated 3 months ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆73Updated 3 weeks ago
- Experiments with SAT solvers with proofs in Lean 4☆58Updated last year
- Logic and Mechanized Reasoning☆105Updated last month
- Type Checking in Lean 4☆31Updated last month
- Ground Zero: Lean 4 HoTT Library☆64Updated last week
- A digital archive of category theory papers.☆31Updated last month
- A zero-knowledge Lean4 compiler and kernel☆138Updated 9 months ago
- Linear algebra formalization in Agda☆16Updated 5 years ago
- ☆22Updated 3 years ago
- A Language with Dependent Data and Codata Types☆116Updated last week
- Cryptographic routines for the Lean 4 language☆44Updated 11 months ago