Fix proof of Theorem 25.9 · OpenLogicProject/OpenLogic@94a9dcd

Triggered via push November 22, 2025 16:58

rzach

master

Status Success

Total duration 5m 18s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
open-logic-debug.pdf Expired	3.67 MB	`sha256:4186e69fc0c98596f99bedc4f19e353d58ed4a637f582404fdafb325779170e7`