0
I Use This!
Activity Not Available
Analyzed over 1 year ago. based on code collected almost 2 years ago.

Project Summary

JitPro is a Java Interactive Higher-Order Tableau Prover. It allows the user to easily apply rules by clicking on the corresponding button, that is shown if the rule can be applied to the term.

Tags

No tags have been added

In a Nutshell, JitPro...

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
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    learn about Open Hub updates and features on the Open Hub blog

Languages

Languages?height=75&width=75
Java
61%
JavaScript
37%
3 Other
2%

30 Day Summary

Oct 5 2016 — Nov 4 2016

12 Month Summary

Nov 4 2015 — Nov 4 2016

Ratings

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