Skip to content

Build documentation site on GitHub Pages #7

@mzargham

Description

@mzargham

Summary

Deploy a documentation site (MkDocs Material or Sphinx) to GitHub Pages covering installation, quickstart, API reference, architecture, and the library module catalog.

Motivation

The README is strong but a single file can't scale to cover the full API, worked examples, and the growing library module catalog (control, convex, circuits, DeFi, information theory, linear optimization, physics, topology). A proper doc site makes the project more accessible for adoption and contribution.

Suggested scope

  1. Framework: MkDocs with Material theme (lightweight, markdown-native, good for Python projects)
  2. Content structure:
    • Getting started / installation
    • Quickstart tutorial (axioms → hypothesis → proof → bundle)
    • Core concepts (evaluation gates, evidence chain, foundation enforcement)
    • API reference (auto-generated from docstrings via mkdocstrings)
    • Library module catalog (one page per domain module)
    • Examples gallery (link to runnable scripts in examples/)
  3. Deployment: GitHub Actions workflow to build and deploy on push to main
  4. Seed content: The README already covers most conceptual content and can be refactored into the doc structure

Related

  • CI workflow issue — docs build/deploy can share the GitHub Actions setup

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions