PROMAL PROVE SYSTEM

What is already done:

 - We have writen a small program in which you can prove something.

 - We have proved that 2+2=4 in Peano arithmetic.

 - We introduced a possiblility of defining something.

 - We have proved some easy facts and defined some basic objects in ZFC.

 - We decided that there should be possibity of proving theorems about
   general formulas (higher-order).

If you are interested in this project, please contact me: parys@mimuw.edu.pl