0
I Use This!
Very Low Activity
Analyzed 4 days ago. based on code collected 4 days 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).

Tags

mathematics

In a Nutshell, IsarMathLib...

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

Place Warranty

Commercial Use

Modify

Distribute

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...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    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

Languages

Languages?height=75&width=75
JavaScript
64%
HTML
18%
Haskell
15%
4 Other
3%

30 Day Summary

Jun 17 2018 — Jul 17 2018

12 Month Summary

Jul 17 2017 — Jul 17 2018
  • 1 Commits
    Down -1 (50%) from previous 12 months
  • 1 Contributors
    Down 0 (0%) from previous 12 months

Ratings

1 user rates this project:
5.0
 
5.0/5.0
Click to add your rating
   Spinner
Review this Project!