Geeks
shinji-kono
/
automaton-in-agda
Automaton Theory in Agda
Primary Language
Agda
MIT License
MIT
automaton-in-agda GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
No issues in this repository yet.