University of Malta

Christian Colombo
UOM Main Page
  * Home
  * Publications
  * Projects
  * Talks
  * Media
  * Links
  * Events
  * Tools
    * CoolProofingTool
    * CoolProofingExamples
  * Other

  • 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.

(Unfortunately, this works only on Windows. Virtual machines can be downloaded from Microsoft


Last Updated: 12 April 2022

Log In back to UoM Homepage