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
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆111Updated last year
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆175Updated 8 months ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆19Updated 2 years ago
• machine-intelligence / provability
  ☆39Updated 10 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆130Updated 3 years ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆26Updated 3 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆121Updated last year
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆194Updated last week
• anoma / geb
  A Categorical View of Computation
  ☆33Updated this week
• MixedMatched / formalizing-game-theory
  Example formalization of Game Theoretic concepts in Lean
  ☆22Updated 8 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆125Updated this week
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆17Updated 2 years ago
• madvorak / read-lean
  How to read Lean
  ☆19Updated 9 months ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• BartoszPiotrowski / lean-premise-selection
  ☆22Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated this week
• zhangir-azerbayev / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆11Updated 2 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 7 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆204Updated last month
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• ToposInstitute / poly
  ☆119Updated last year
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆56Updated 5 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆76Updated last year
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• piantado / Fleet
  ☆63Updated 5 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year