IsarMathLib

I Use This!

Activity Not Available

Analyzed 2 months ago. based on code collected about 1 year ago.

Project Summary

The goal of the project is to create a library of formalized mathematics, similar to the Mizar Mathematical Library, but written for the Isabelle/Isar theorem prover (ZF logic).

In a Nutshell, IsarMathLib...

...
has had 173 commits made by 3 contributors
representing 22,807 lines of code
...
is mostly written in JavaScript
with a very low number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 6 years of effort (COCOMO model)
starting with its first commit in June, 2008
ending with its most recent commit over 5 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

http://svn.savannah.gnu.org/svn/...

Similar Projects:

Managers:

Become the first manager for IsarMathLib

Licenses

BSD 3-clause "New" or "Revised" License

Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Hold Liable

Use Trademarks

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

This Project has No vulnerabilities Reported Against it

Did You Know...

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
65% of companies leverage OSS to speed application development in 2016
...
search using multiple tags to find exactly what you need