HELM Experimental Support for NuPRL
Authors:
- Vincenzo Tamburrelli <tamburre@cs.unibo.it>
- Vitali Kaikhine <vitkh@uwyo.edu>
- Andrea Asperti <asperti@cs.unibo.it>
- Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
Useful links (for implementors only):
- GETTER Panel
(to update the list of available stylesheets, theorems and definitions)
- UWOBO Panel
(to load/reload/unload the NuPRL-specific stylesheets)