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.
License
Academic Free License (AFL)Follow Molle
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Molle!