Home

Andrea Mocci

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.

Screenshot thumbnail
Molle main window after a proof


Project Admins: