Welcome, Guest! Log In | Create Account

Hilbert II Screenshot

View screenshots

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 Now! principia.0.00.49.src.jar (175.1 KB) OR View all files

http://www.qedeq.org





Separate each tag with a space.

Release Date:

2001-10-21

Topics:

Documentation, Internet, Mathematics, TeX/LaTeX

License:

GNU General Public License (GPL)

Ratings and Reviews

Be the first to post a text review of Hilbert II. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

  • Code committed

    m31 committed revision 2182 to the Hilbert II SVN repository, changing 1 files

    posted by m31 26 days ago

  • Code committed

    m31 committed revision 2181 to the Hilbert II SVN repository, changing 1 files

    posted by m31 26 days ago

  • Code committed

    m31 committed revision 2180 to the Hilbert II SVN repository, changing 1 files

    posted by m31 26 days ago

  • Code committed

    m31 committed revision 2179 to the Hilbert II SVN repository, changing 1 files

    posted by m31 26 days ago

  • Code committed

    m31 committed revision 2178 to the Hilbert II SVN repository, changing 1 files

    posted by m31 48 days ago

  • Code committed

    m31 committed revision 2177 to the Hilbert II SVN repository, changing 1 files

    posted by m31 48 days ago

  • Code committed

    m31 committed revision 2176 to the Hilbert II SVN repository, changing 26 files

    posted by m31 48 days ago

  • Code committed

    m31 committed revision 2175 to the Hilbert II SVN repository, changing 2 files

    posted by m31 48 days ago

  • Code committed

    m31 committed revision 2174 to the Hilbert II SVN repository, changing 4 files

    posted by m31 55 days ago

  • Code committed

    m31 committed revision 2173 to the Hilbert II SVN repository, changing 1 files

    posted by m31 55 days ago

Rate and Review

Be the first person to add a text review.

Would you recommend this project?





<

Related Projects

Hilbert II Actions

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use

  • A resulting prototype HTML file is browsed.
  • Main program suite at work.
  • PDF result of main program suite.
  • The prototype in action.

Thanks for your rating!

Would you also like to write a review?





Skip Review