alexpatel / lean-modal
modal logic library for LEAN theorem prover
☆10Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for lean-modal
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- Source of metamath book☆45Updated 10 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- Theorem proving in Lean☆48Updated last month
- Implementation of higher-order logic in Python☆58Updated last year
- Jupyter kernel for Coq☆94Updated 2 months ago
- Verified decision procedures for modal logics in Lean☆11Updated 4 years ago
- Pedagogical first-order prover in Python☆73Updated 2 weeks ago
- Tableau for basic modal logic in Lean 3☆13Updated last year
- Logic and Mechanized Reasoning☆87Updated 4 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆25Updated 4 months ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆19Updated 3 weeks ago
- Lean documentation authoring tool☆122Updated this week
- Lean for the Curious Mathematician 2020☆63Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆34Updated 4 months ago
- ☆49Updated 2 years ago
- An encyclopedia of proofs☆57Updated last week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- Hoare Type Theory☆69Updated last month
- ☆132Updated 2 weeks ago
- Coq plugin embedding elpi☆139Updated this week
- ☆51Updated 3 months ago
- ☆21Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆72Updated 2 months ago
- Plain-text declaration export for Lean 4☆12Updated last month
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- Book about using Lean with How To Prove It☆15Updated 2 months ago