coq-community / comp-dec-modal

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

https://coq-community.org/comp-dec-modal/

Geek Repo

Github PK Tool