m4lvin / tablean

Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
13Updated last year

Alternatives and similar repositories for tablean:

Users that are interested in tablean are comparing it to the libraries listed below