Sphinx-Proofscape
Copyright (c) 2022-2023 Proofscape contributors
