-
Niklas Rieken authored
finished model checking, added non-reg proof with closure properties, finished chapter on regular languages <3
513590ae
finished model checking, added non-reg proof with closure properties, finished chapter on regular languages <3