Gödel numbering of natural deduction derivations using =Intro Inc fixes #419
background
wait
wait-all
cancel
Loading