Fix parentheses issues in more-proofs-in-K.tex #129

Triggered via push September 1, 2025 19:11

rzach

master

Status Success

Total duration 5m 2s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf	3.67 MB	`sha256:cab9c5c2710b4902602be8ed0b4cef10285d62a468274e78485a8ef40bec439e`