University of Malta
 

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

  • 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: 13 October 2018

Log In back to UoM Homepage