Hilbert II |
|
|
|
Development
This page is for people interested in developing Hilbert II.
The mathematical knowledge of this project is organized in XML files that are called QEDEQ modules. Such a QEDEQ module could have references to other QEDEQ modules which are somewhere in the world wide web. It's main structure looks like an LaTeX book file. There exists a special kind of subsections called Our main focus now is work on the script Axiomatic Set Theory. This was generated out of qedeq_set_theory_v1.xml. This script grows and changes as does the relevant software functions. Currently we expand our formal logic basis documented in Formal Predicate Calculus. Source for this file is qedeq_formal_logic_v1.xml. In this document every proposition has a formal proof. The QEDEQ modules stand under the GNU Free Documentation License (GFDL), the software of this project under the GNU General Public License (GPL). The reference implementation is programmed in Java. Current development environment is eclipse. The following tools and libraries are used in the development process.
You can download the latest release 0.04.07 with unix file format or with windows file format. You can browse the contents of this release here: release 0.04.07. For the current source code you could browse or clone the git repository on github. Here are descriptions of the next minor releases. Preliminary versions are not listed. All these releases are characterised as "unstable" and are only of interest for developers.
|