Alternatives and similar repositories for acornlib

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

• teorth / symmetric_project
  ☆94Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆207Updated 4 months ago
• madvorak / read-lean
  How to read Lean
  ☆22Updated last year
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆80Updated last month
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆255Updated this week
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆115Updated 2 years ago
• teorth / expdb
  Exponent pair database
  ☆68Updated last month
• acornprover / acorn
  The core implementation of the Acorn language.
  ☆37Updated this week
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆182Updated 5 months ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆42Updated 4 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆118Updated last year
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆96Updated this week
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆83Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆79Updated 7 months ago
• math-inc / strongpnt
  ☆290Updated 4 months ago
• leanprover / Pantograph
  (Mirror) A Machine-to-Machine Interaction System for Lean 4
  ☆48Updated last month
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆205Updated last week
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆63Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆126Updated 4 months ago
• ianjauslin-rutgers / pythagoras4
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Updated 2 years ago
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆124Updated last month
• leanprover-community / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆93Updated this week
• lftcm2023 / lftcm2023
  ☆30Updated 2 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆75Updated 6 months ago
• AlexKontorovich / PrimeNumberTheoremAnd
  Blueprint for the PNT+ Project
  ☆250Updated this week
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆34Updated 3 months ago
• lean-dojo / LeanMillenniumPrizeProblems
  Formalization of the Millennium Problems in Lean 4
  ☆40Updated 2 weeks ago
• ATOMSLab / LeanLJ
  Lennard Jones in Lean
  ☆21Updated 6 months ago
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof [WIP]
  ☆60Updated this week
• verse-lab / loom
  Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…
  ☆119Updated last week