Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
Molle
By Politecnico di Milano.
Rating:
0/5 (0)
0/5 (0)
License type:
Open source
Latest version:
1.0
Last updated:
June 8th, 2012
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable and easy to use graphical interface, with interactive representation of...
