Declarations still don't quite work properly

Quelklef / fitch

Interactive proof assistant for Fitch-style natural deduction

https://maynards.site/fitch

3 stars 0 forks source link

Closed Quelklef closed 5 years ago

Quelklef commented 6 years ago

The following proof is incorrectly marked as invalid:

Ex P(x)
  | [a] P(a)
  | Ek P(k)

a workaround is

Ex P(x)
  | [a] P(a)
  | P(a)
  | Ek P(k)

... however, this is a bug and should be fixed.

Quelklef commented 5 years ago

Seems to be fixed in the latest version