SourceForge.net

Create account Help
Search   Advanced
 

PDF result of main program suite. 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

Most Active Projects in Category

Project Details