Alternatives and similar repositories for logical-induction:

Users that are interested in logical-induction are comparing it to the libraries listed below

• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• machine-intelligence / provability
  ☆36Updated 9 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆73Updated this week
• anoma / geb
  A Categorical View of Computation
  ☆31Updated 6 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆43Updated 3 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆163Updated 2 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 7 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• google / formal-ml
  ☆25Updated 4 years ago
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆11Updated 2 weeks ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated last month
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated last year
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆23Updated last year
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆54Updated 5 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆102Updated 6 months ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆15Updated 2 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago