GitHub - andreasabel/agda-automata: Formalisation of automata in Agda

Name		Name	Last commit message	Last commit date
Latest commit History 117 Commits
.github/workflows		.github/workflows
_deploy		_deploy
jlamp17		jlamp17
src		src
.gitignore		.gitignore

About

Formalisation of automata in Agda

andreasabel.github.io/agda-automata/

automata agda automata-theory

Report repository

Releases

No releases published

Packages

No packages published

Languages