# DTALMP
Démonstrateur à tableau analytiques pour les logiques modales propositionnelles