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
  ☆40Updated 10 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last week
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆177Updated 9 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆122Updated last year
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 2 months ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated 2 years ago
• madvorak / read-lean
  How to read Lean
  ☆19Updated 9 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆112Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆127Updated this week
• anoma / geb
  A Categorical View of Computation
  ☆33Updated this week
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆18Updated 2 years ago
• bayesianempirimancer / pyDMBD
  Dynamic Markov Blanket Discovery
  ☆15Updated last year
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆130Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 5 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆54Updated this week
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆56Updated 5 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆83Updated 2 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 8 months ago
• zhangir-azerbayev / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆12Updated 2 years ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆27Updated 4 months ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• digama0 / olean-rs
  parser/viewer for olean files (lean 3)
  ☆13Updated 6 years ago
• Adam-Vandervorst / PyBHV
  Boolean Hypervectors with various operators for experiments in hyperdimensional computing (HDC).
  ☆30Updated last year
• zhangir-azerbayev / lean-chat
  ☆51Updated 3 years ago
• pepijndevos / futhark-pycffi
  Python library using the Futhark C backend via CFFI
  ☆26Updated 4 months ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year