Project Plan Principia Mathematica II

Date: 2001-09-07

Long run plan

- validation phase of current stage
  * write several tests
  * define LaTex integration
  * complete documentation
    + exact module definition
    + better javadoc (e.g. package descriptions)
    + correct html representation
    + include GPL text
  * create comfortable module viewer and editor
    + analysis functions (e.g. for dependencies)
  * write much more proofs
  * write article about mathematical background
  * improve current html converter
    + no use of System font
    + no use of Tables
    + convert included LaTex
  * create (configurable) coverters to pdf, tex
 
- improvement of logical rules 
  * multi arguments for AND and OR
  * deduction rules
  * equivalent formulas
  * meta rule: find appropriate rule
 
- completion of logical rules
  * allow predicates and definitions
  * start with set theory
  * start "promotion tour"


next actions

- additional functions: 
  * make all files compileable
  * proof shortage
  * remove all abbreviations
  * create complete proof without any sentence reference