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. We start with logic and set theory
Download Hilbert II
Project Admins:
m31
Operating System:
OS Independent (Written in an interpreted language)
License:
GNU General Public License (GPL)
Category:
TeX/LaTeX, Internet, Mathematics, Documentation
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest
Public Areas
-
Bugs
: (0 open / 6 total)
Bug Tracking System -
CVS Repository
: (0 commits,
0 reads)
Browse CVS -
SVN Repository
: (0 commits,
0 reads)
Browse SVN
Most Active Projects in Category
Project Details
-
Project Admins :
m31
- Developers : 2
- Development Status : 1 - Planning, 2 - Pre-Alpha, 3 - Alpha, 4 - Beta
- Intended Audience : Developers, End Users/Desktop, Education, Science/Research, Other Audience
- License : GNU General Public License (GPL)
- Operating System : OS Independent (Written in an interpreted language)
- Programming Language : Java
- Topic : TeX/LaTeX, Internet, Mathematics, Documentation
- Translations : English, German
- User Interface : Java Swing, Command-line, Web-based
-
Donors :
m31
- Project UNIX name : pmii
- Registered : 2001-07-27 10:16
- Activity Percentile (last week) : 97.60
- View project activity statistics
- View list of RSS feeds available for this project