Skip to content

Add the proof-runner prototype: run a pull request's proof kit from a Roam page - #26

Open
sid597 wants to merge 39 commits into
mainfrom
proof-runner
Open

Add the proof-runner prototype: run a pull request's proof kit from a Roam page#26
sid597 wants to merge 39 commits into
mainfrom
proof-runner

Commits

  1. Commits on Oct 2, 2026

  2. Commits on Oct 3, 2026

  3. Commits on Oct 5, 2026

  4. Commits on Oct 7, 2026

  5. Commits on Oct 8, 2026