lectures.alex.balgavy.eu

Lecture notes from university.
git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
Log | Files | Refs | Submodules

5-1-tableau.dot (107B)

      1 graph g {
      2 a [label="* ◇ ¬ p ∨ ◇ p", xlabel="1"]
      3 a -- b
      4 b [label="* ◇ ¬ p, ◇ p", xlabel="1"]
      5 }
      6