0
I Use This!
Inactive
Analyzed about 11 hours ago. based on code collected about 11 hours 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

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.

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    learn about Open Hub updates and features on the Open Hub blog

Languages

JavaScript
64%
HTML
18%
Haskell
15%
4 Other
3%

30 Day Summary

Oct 27 2022 — Nov 26 2022

12 Month Summary

Nov 26 2021 — Nov 26 2022

Ratings

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