Conclusion

Congratulations! By completing the “Basics” section of 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.

Further reading:

• The Additional Topics section of the Authors’ Tutorial

• The Proofscape Reference