Alternatives and similar repositories for clean-math-thesis

Users that are interested in clean-math-thesis are comparing it to the libraries listed below

• proost-assistant / proost
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆30Updated last year
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆81Updated last month
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆70Updated last year
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆95Updated last month
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆135Updated 3 months ago
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆108Updated last week
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆59Updated 5 months ago
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆107Updated 3 weeks ago
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆22Updated 11 months ago
• digama0 / lean-sys
  Rust bindings for the Lean 4 proof assistant
  ☆42Updated 2 months ago
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆84Updated 2 weeks ago
• JoeyLupo / cryptolib
  ☆18Updated 3 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆176Updated 4 months ago
• proost-assistant / ProostLean
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Updated last year
• pauladam94 / curryst
  Typst Package to typeset inference rule
  ☆47Updated last week
• leanprover / reference-manual
  The Lean reference manual
  ☆90Updated this week
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆469Updated this week
• 34j / best-of-lean4
  A list of awesome lean4 projects. Feel free to add your project.
  ☆114Updated last week
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆93Updated last week
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆307Updated last week
• digama0 / mm0
  Metamath Zero specification language
  ☆365Updated last week
• leanprover-community / NNG4
  Natural Number Game
  ☆267Updated 2 months ago
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆134Updated last week
• UnivalencePrinciple / 2LTT-Agda
  Formalization of 2LTT in Agda
  ☆17Updated 4 months ago
• chasenorman / Canonical
  Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
  ☆77Updated last month
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆114Updated last month
• FormalizedFormalLogic / Foundation
  Formalization of Mathematical Logic
  ☆189Updated this week
• nikomatsakis / polonius.next
  experimental datalog rules for a next gen polonius
  ☆19Updated 3 years ago
• joehendrix / lean-crypto
  Cryptographic routines for the Lean 4 language
  ☆48Updated last year