Gödel numbering of natural deduction derivations using =Intro Inc fixes · OpenLogicProject/OpenLogic@bea07fd

Triggered via pull request February 9, 2026 20:29

beastaugh

opened #419

beastaugh:inc-fixes

Status Success

Total duration 5m 11s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

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