Project Summary
toward a port of Bob Neveln's proofcheck work (based on Morris's logic) to scala
http://proofcheck.org/
In a Nutshell, pfmorris...
Quick Reference
https://bitbucket.org/DanC/pfmorris
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
in 2016, 47% of companies did not have formal process in place to track OS code
-
...
by exploring contributors within projects, you can view details on every commit they have made to that project
-
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
-
...
compare projects before you chose one to use