Skip to content

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

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

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

Triggered via pull request June 27, 2025 15:12
Status Success
Total duration 5m 13s
Artifacts 1

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
open-logic-debug.pdf
3.66 MB
sha256:a3344291ff469e76b83c3ad36910f4afd8a2e0829fb3f51a137074725aa07e31