Add missing label of discharged assumption in natural-deduction/provability-consistency.tex

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

Creative Commons Attribution 4.0 International

1.04k stars 237 forks source link

Closed furcyd closed 2 years ago

furcyd commented 2 years ago

Only one new commit:

Add label of discharged assumption in last derivation in proof of proposition 19 in "Derivability and Consistency"