0
I Use This!
Activity Not Available
Analyzed 5 months ago. based on code collected 5 months 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.

Tags

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
  • ...
    check out hot projects on the Open Hub
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    you can embed statistics from Open Hub on your site

30 Day Summary

Sep 16 2018 — Oct 16 2018

12 Month Summary

Oct 16 2017 — Oct 16 2018

Ratings

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