|
|
Tasks
We are happy about people supporting this project. For the next planned actions see under planning.
Beside a general cooperation we appreciate help in the following tasks. Also hints about weak points errors and other advice are very welcome.
| Corrector wanted |
Currently we work on a script about axiomatic set theory. Help in any form would be great. |
| Test of the prototype |
The prototype was tested several times, but perhaps we already have some blind spots... |
| English web pages |
The English web pages badly need a linguistic revision. |
| Additional predicate calculus QEDEQ modules |
There are missing quite a lot propositions in predicate calculus. Who wants to have a go at a new QEDEQ module and proves with the prototype for example the following proposition:
Exists x (phi(x) v psi(x)) <-> Exists x (phi(x)) v Exists x (phi(x))
|
For hints or when interested please contact: Michael Meyling <mime@qedeq.org>.
|
