Add section on \Sigma_1 completeness to the chapter on representability in Q #108

Triggered via pull request June 26, 2025 14:10

beastaugh

opened #395

Status Success

Total duration 5m 31s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf	3.66 MB	`sha256:c012753090980ab8d3b51bd3b3b8eaff2ef96ecec6285aa0afa5fd7b8575d183`