search

Quelklef / fitch

Interactive proof assistant for Fitch-style natural deduction
https://maynards.site/fitch
3 stars 0 forks source link

remove NE? #12

Closed Quelklef closed 2 years ago

Quelklef commented 3 years ago

Rose may or may not want NE removed

Quelklef commented 3 years ago

One can always include ∃x as an assumption which can be used with ∃E to emulate NE.

Quelklef commented 3 years ago

Oh, currently ∃x does not parse. So that needs to be fixed.

Quelklef commented 2 years ago

NE was removed in https://github.com/Quelklef/fitch/commit/086c8dab4d3caad2791d6062a612fc8aff5e241b