IsarMathLib

I Use This!

Activity Not Available

Analyzed over 2 years ago. based on code collected over 2 years 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 6 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...

...
55% of companies leverage OSS for production infrastructure
...
learn about Open Hub updates and features on the Open Hub blog
...
use of OSS increased in 65% of companies in 2016
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog