GitHub / rocq-community / comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-community%2Fcomp-dec-modal
PURL: pkg:github/rocq-community/comp-dec-modal

Stars: 11
Forks: 2
Open issues: 1

License: other
Language: Coq
Size: 749 KB
Dependencies parsed at: Pending

Created at: almost 5 years ago
Updated at: 16 days ago
Pushed at: about 1 year ago
Last synced at: 9 days ago

Topics: coq, ctl, mathcomp, modal-logics, pdl

Loading...