Additional Topics#

This section of the Authors’ Tutorial is designed to take you beyond the basics, introducing various topics and techniques, and finer points about writing Proofscape modules.

This section may grow in the future, with new parts being added from time to time.

You should complete the Basics section of the Authors’ Tutorial before beginning this section, as we assume the gh.example.tutorial example repo built there as a starting point.