Formalisation of automata in Agda
Home Page:https://andreasabel.github.io/agda-automata/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
https://andreasabel.github.io/agda-automata/