0
I Use This!
Inactive
Analyzed about 4 hours ago. based on code collected about 4 hours ago.

Project Summary

toward a port of Bob Neveln's proofcheck work (based on Morris's logic) to scala
http://proofcheck.org/

Tags

No tags have been added

In a Nutshell, pfmorris...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    compare projects before you chose one to use

30 Day Summary

Apr 30 2020 — May 30 2020

12 Month Summary

May 30 2019 — May 30 2020

Ratings

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