Conclusion

Congratulations! In the Authors’ Tutorial, you have learned how to:

• Start a new Proofscape repo

• Build (and rebuild) a repo

• Write deductions

• Write annotations

• Write Sphinx pages

• Add widgets to both annotations and Sphinx pages

• Make doc references

Hopefully you now feel confident to write your own Proofscape repos on topics of interest to you in Mathematics, and/or contribute to existing Proofscape projects.

As you go forward, please remember to use the Proofscape Reference to fill in any missing details about the Proofscape language and library.

Further sections are planned for the Authors’ Tutorial, for the future, so please check back soon!