GitHub repository: simply-logical/sphinx-prolog
Primary language: Python
Description: Sphinx (and Jupyter Book) extensions for the Simply Logical content