University of Malta
 

Christian Colombo
Tools
UOM Main Page
 
 
  * Home
--------
  * Links
--------
  * Projects
--------
  * Publications
--------
  * Talks
--------
  * Tools
    * CoolProofingTool
    * CoolProofingExamples
--------
 

  • Larva monitoring toolset

  • Cool Proofing has now been superseded by a Java implementation found on Github. This is better than Cool Proofing as it also supports predicate logic (rather than just propositional logic) and you simply write the rules (rather than the line numbers too). The only downside is that the tool does not have a GUI. 
  • Cool Proofing is a tool which assists users in coming up with propositional logic proofs and checks their correctness.

Download the tool. Download proof examples.

eg1 

 
 
Last Updated: 21 April 2016

Log In back to UoM Homepage