Future Developments

The theory mechanism was only added to Nuprl fairly recently and there are some obvious enhancements which need to be made. For example,

• namespace management
• automatic dependency checking
• support for maintaining sets of conjectured theorems, so one can develop theories in other orders than foundations first in a sytematic way.