Skip to content

Gödel numbering of natural deduction derivations using =Intro Inc fixes#419

Merged
rzach merged 3 commits into
OpenLogicProject:masterfrom
beastaugh:inc-fixes
Feb 15, 2026
Merged

Gödel numbering of natural deduction derivations using =Intro Inc fixes#419
rzach merged 3 commits into
OpenLogicProject:masterfrom
beastaugh:inc-fixes

Correct Gödel numbering of derivations to include =Intro.

bea07fd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.