search

gauravmm / Navelgazer

Linter for first-order logic
http://navelgazer.gauravmanek.com/
MIT License
0 stars 1 forks source link

TF line reference number is incorrect. #9

Closed gauravmm closed 5 years ago

gauravmm commented 6 years ago

In the default example, we have: [2][3][4] (6) (Txa ∧ Aya) (4)(6) TF It should be: [2][3][4] (6) (Txa ∧ Aya) (4)(5) TF