Skip to content

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
Open

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

Correct Gödel numbering of derivations to include =Intro.
bea07fd
Select commit
Loading
Failed to load commit list.
build_latex
succeeded Feb 9, 2026 in 5m 7s