GitHub topics: modal-logics
rocq-community/comp-dec-modal
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
Language: Coq - Size: 749 KB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 10 - Forks: 2
HOLMS-lib/HOLMS
HOL-Light Library for Modal Systems
Language: OCaml - Size: 212 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
RAIRLab/ShadowProver
The definitive DCEC theorem prover built on SNARK.
Language: Java - Size: 35.5 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
James-Oswald/Eminence-Prover-concept
A proof of concept for a theorem prover for DCEC reasoning
Language: C++ - Size: 515 KB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
jogiet/MOLOSS
MOLOSS is a satisfiability solver for modal logics
Language: OCaml - Size: 335 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 2
Webastronaut/asp-planning-benchmarks Fork of potassco/asp-planning-benchmarks
A repository of ASP planning benchmarks
Language: ASP - Size: 387 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
