lectures.alex.balgavy.eu

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

diagram.dot (67B)

      1 digraph g {
      2 rankdir=LR
      3 1 -> 1
      4 2 -> 2
      5 2 -> 1
      6 2 [xlabel="(¬ p)"]
      7 }
      8