Screenshots
Description
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.
Categories
License
Update Notifications
User Ratings
User Reviews
Be the first to post a review of Molle!