lambdabetaeta / modal-logicsLinks

Agda formalisation of dual-context constructive modal logics.
20Updated 5 years ago

Alternatives and similar repositories for modal-logics

Users that are interested in modal-logics are comparing it to the libraries listed below

Sorting: