Alternatives and similar repositories for mathesis

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

• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated last week
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆263Updated this week
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆47Updated 2 months ago
• patrik-cihal / lean-graph
  Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
  ☆37Updated last month
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆29Updated 7 months ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆66Updated 2 years ago
• ilaspltd / ILASP-releases
  ☆39Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• leanprover-community / lean4web
  Lean web editor
  ☆129Updated last month
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 3 months ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆115Updated 3 weeks ago
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆323Updated this week
• dwrensha / tryAtEachStep
  Try a tactic at each step in a Lean proof.
  ☆32Updated last week
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆40Updated last month
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆146Updated this week
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆80Updated last month
• potassco / plingo
  🍀 A system for probabilistic reasoning in clingo
  ☆20Updated last year
• nomeata / loogle
  Mathlib search tool
  ☆120Updated last week
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆177Updated last week
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆393Updated 4 months ago
• CategoricalData / hydra
  Graph programming language
  ☆137Updated this week
• leanprover / leansat
  This package provides an interface and foundation for verified SAT reasoning
  ☆55Updated last year
• mirefek / lean-tactic-programming-guide
  Beginner's guide to Tactic Programming in Lean
  ☆66Updated 5 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆28Updated 4 years ago
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆122Updated this week
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆28Updated last year
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆150Updated 2 months ago
• alexjbest / leaff
  Leaff is a diff tool for Lean environments
  ☆26Updated last year
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆52Updated 2 years ago