Line 4 of the proof now has a proper reference

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic

https://forallx.openlogicproject.org/

Creative Commons Attribution 4.0 International

94 stars 30 forks source link

Closed Pi-Cla closed 3 years ago

Pi-Cla commented 3 years ago

Before, it was referencing some line m which does not appear in this proof.

rzach commented 3 years ago

Thanks!