I Use This!
Analyzed 2 days ago. based on code collected 4 days ago.

Project Summary

Automated Theorem Prover implemented in Java and using clause trees. This software will be able to read mathematical theorems from TPTP and prove or disprove them.


No tags have been added

In a Nutshell, UNB Theorem Prover?...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    search using multiple tags to find exactly what you need

30 Day Summary

Feb 14 2018 — Mar 16 2018

12 Month Summary

Mar 16 2017 — Mar 16 2018


Be the first to rate this project
Click to add your rating
Review this Project!