Correct Gödel numbering of derivations to include =Intro. · OpenLogicProject/OpenLogic@c6b2151

Triggered via push February 15, 2026 20:46

rzach

master

Status Success

Total duration 4m 43s

Artifacts 1

build.yml

on: push

Produced during runtime

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