Alternatives and similar repositories for acornlib

Users that are interested in acornlib are comparing it to the libraries listed below

• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆108Updated 10 months ago
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆70Updated 2 weeks ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 6 months ago
• teorth / symmetric_project
  ☆92Updated last year
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆182Updated this week
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆116Updated last month
• lftcm2023 / lftcm2023
  ☆23Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆70Updated 7 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆108Updated this week
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆236Updated 2 months ago
• SorryDB / SorryDB
  SorryDB indexes sorries in public lean repositories
  ☆29Updated 3 weeks ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆173Updated 7 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆111Updated last year
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆218Updated last week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆185Updated 2 weeks ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆66Updated last month
• argumentcomputer / ix
  a zero-knowledge proof-carrying code platform for Lean 4
  ☆45Updated this week
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated last year
• madvorak / read-lean
  How to read Lean
  ☆19Updated 7 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆36Updated last month
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆68Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆70Updated 2 years ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆37Updated 11 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆54Updated last year
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆33Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆290Updated 8 months ago