Alternatives and similar repositories for acornlib

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

• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆29Updated 2 years ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• madvorak / read-lean
  How to read Lean
  ☆21Updated 10 months ago
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆76Updated 2 weeks ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆130Updated last week
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆90Updated this week
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated 2 months ago
• acornprover / acorn
  The core implementation of the Acorn language.
  ☆34Updated this week
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆123Updated last year
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆78Updated last week
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 9 months ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆239Updated 2 weeks ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆113Updated last year
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆15Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆75Updated 5 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆37Updated last week
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆33Updated last month
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆66Updated 2 years ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆77Updated last year
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆30Updated 2 months ago
• riswords / quiche
  ☆24Updated 2 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 4 months ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆77Updated 2 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆181Updated 10 months ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆211Updated last week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆197Updated last week