In some cases, documentation on the Proofscape language, and on PISE (Proofscape Integrated Study Environment), is best written in Proofscape modules, and viewed within PISE itself. This repo is a place to write such "doc modules".
Contributions are made by forking this repository, adding or improving modules, and making a pull request. Please be sure to read CONTRIBUTING.md.
Proofscape modules can be developed using PISE, the Proofscape Integrated Study Environment.
The library is licensed under the Mozilla Public License version 2.0 (MPL-2.0).