University of Malta
 

Christian Colombo
Tools
UOM Main Page
 
 
  * Home
--------
  * Events
--------
  * Publications
--------
  * Projects
--------
  * Talks
--------
  * Media
--------
  * Links
--------
  * 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. 
(Unfortunately, this works only on Windows) Download the tool. Download proof examples.

eg1 

 
 
Last Updated: 11 September 2020

Log In back to UoM Homepage