Alternatives and similar repositories for mathesis:

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

• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆254Updated 3 weeks ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆33Updated 7 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆46Updated this week
• lio-wong / dreamcoder
  ☆63Updated 3 years ago
• LogicalContracts / LogicalEnglish
  ☆32Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• leoprover / tptp
  TPTP python library and benchmarking service
  ☆13Updated 5 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆101Updated 6 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆93Updated last year
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆23Updated last month
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆206Updated 2 years ago
• RussAbbott / pylog
  pylog: an implementation of Prolog features in Python
  ☆36Updated 4 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated 2 weeks ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆51Updated last year
• bramucas / xclingo2
  A tool for explainability and debugging in Answer Set Programming.
  ☆13Updated 3 weeks ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated 10 months ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆20Updated 5 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆61Updated 3 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• Kappa-Dev / ReGraph
  Tool for building graph-based hierarchical knowledge representation systems
  ☆79Updated 2 years ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆26Updated 9 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆43Updated 3 years ago
• prismplp / prism
  probabilistic logic programming language for statistical modeling
  ☆30Updated 2 months ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• smucclaw / baby-l4
  A miniature version of the l4 language
  ☆10Updated 9 months ago
• SimonOuellette35 / ARC_gym
  ARC gym: a data generation framework for the Abstraction & Reasoning Corpus
  ☆21Updated 2 weeks ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆142Updated 2 weeks ago
• ilaspltd / ILASP-releases
  ☆37Updated 5 months ago