0
I Use This!
Activity Not Available
Analyzed almost 2 years ago. based on code collected about 2 years ago.

Project Summary

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

Tags

correct formal mathematic

In a Nutshell, Hilbert II...

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
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
Java
56%
XML
20%
HTML
12%
8 Other
12%

30 Day Summary

Jun 22 2016 — Jul 22 2016

12 Month Summary

Jul 22 2015 — Jul 22 2016

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!