Tammo 80

De afspraak met de begeleider van m’n kleine scriptie is goed afgelopen, zelfs al had ik minder pagina’s dan de vorige keer. Het enige minpuntje was dat ik niet wist wat een formule was; het goede antwoord was: an, apple: np. Hij was wel verbaasd dat ik al zo ver ben met het programma. Een voorbeeld van wat het programma nu doet:java ProofNetFinder "'p'" "Livia" "('p'\'s')/'p'" "hates" "('s'/'p')\'s'" "someone" "'s'"
---
Hoera!
---
Not a proof net!
---
Hoera!
---
Not a proof net!Maar goed, het vordert dus.