comp-dec-modal
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
8 stars
3 watching
2 forks
Language: Coq
last commit: about 2 months ago
Linked from 1 awesome list
coqctlmathcompmodal-logicspdl