Proving Ground

I Use This!

Inactive

Analyzed about 10 hours ago. based on code collected about 12 hours ago.

Project Summary

Proving Ground: Tools for Automated Mathematics

A system under development for (semi-)automated theorem proving, with foundations homotopy type theory, using machine learning, both by reinforcement learing using backward-propagation and using natural language processing to assimilate part of the mathematics literature.

In a Nutshell, Proving Ground...

...
has had 4,300 commits made by 13 contributors
representing 107,922 lines of code
...
is mostly written in Scala
with a low number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 27 years of effort (COCOMO model)
starting with its first commit in February, 2013
ending with its most recent commit over 4 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

https://github.com/siddhartha-ga...

Similar Projects:

Managers:

Become the first manager for Proving Ground

Licenses

MIT License

Permitted

Commercial Use

Modify

Distribute

Sub-License

Private Use

Forbidden

Hold Liable

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record

Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities

Few reported vulnerabilities

About Project Vulnerability Report

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
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
...
data presented on the Open Hub is available through our API