Alternatives and similar repositories for logical-induction

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

• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆100Updated this week
• machine-intelligence / provability
  ☆38Updated 9 years ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated 2 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆172Updated 6 months ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated 2 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆119Updated 9 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 10 months ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 4 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• madvorak / read-lean
  How to read Lean
  ☆17Updated 6 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last week
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆14Updated last week
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 11 months ago
• anoma / geb
  A Categorical View of Computation
  ☆33Updated 9 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 5 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 5 months ago
• digama0 / olean-rs
  parser/viewer for olean files (lean 3)
  ☆13Updated 6 years ago
• zhangir-azerbayev / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆11Updated 2 years ago
• ToposInstitute / poly
  ☆117Updated last year
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆45Updated 3 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated this week
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• MixedMatched / formalizing-game-theory
  Example formalization of Game Theoretic concepts in Lean
  ☆20Updated 5 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago