What planning steps should be taken to start the QED project?
| First | enumerate and describe the kinds of things that would be found in the QED system |
|---|---|
| Second | establish some `milestones' or some priority list of objectives |
| Third | to accumulate the basic mathematical texts that are to be formalized |
| Fourth | to achieve consensus about the statement of the most important definitions and theorems in mathematics |
First Second Third Fourth
created 5/1/96 modified 5/1/96
