search

wo / tpg

Tree Proof Generator
GNU General Public License v3.0
151 stars 20 forks source link

Feature request prefix "|=" #5

Closed ghost closed 3 years ago

ghost commented 3 years ago

I am enjoying your model finder. I just tried to enter this:

      |= ∀xUx

But it wasn't accepted. Would there be a possibility to also have prefix "|=" ? I helped myself with p ∨ ¬p |= ∀xUx, since I didn't find top as a replacement for p ∨ ¬p.

ghost commented 3 years ago

Ok my bad, I can enter ∀xUx directly.