Geeks
andreasabel
/
agda-automata
Formalisation of automata in Agda
Primary Language
Agda
agda-automata Home Page
agda-automata GitHub
Markdown
Readme
0
Issues
8
Stargazers
2
Watchers
This repository is not active