Alternatives and similar repositories for mathesis

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

• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆35Updated 8 months ago
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆261Updated this week
• lio-wong / dreamcoder
  ☆66Updated 3 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated last month
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆26Updated last month
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆95Updated last year
• Kappa-Dev / ReGraph
  Tool for building graph-based hierarchical knowledge representation systems
  ☆81Updated 2 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆27Updated last year
• leoprover / tptp
  TPTP python library and benchmarking service
  ☆13Updated 5 years ago
• oOo0oOo / lean-lsp-mcp
  Lean Theorem Prover MCP
  ☆39Updated this week
• AILab-FOI / pyxf
  Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite
  ☆11Updated 4 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆53Updated last year
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated last year
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• LogicalContracts / LogicalEnglish
  ☆33Updated last month
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆69Updated 9 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆64Updated 4 months ago
• genlm / llamppl
  Probabilistic programming with large language models
  ☆119Updated last month
• aplbrain / grand-cypher
  Implementation of the Cypher language for searching NetworkX graphs
  ☆107Updated 2 weeks ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆210Updated 2 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• barakeel / oeis-synthesis
  ☆23Updated 2 weeks ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆23Updated last year
• ilaspltd / ILASP-releases
  ☆37Updated 6 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆44Updated 3 years ago