If you are just learning to write Proofscape modules then you need a place to try things out. This is that place.

For convenience several simple test modules are provided here. Click any of the links below to open the module editor with one of these modules loaded as a starting point. You can then try out anything you want, with no impact on the library.