Geeks
jesyspa
/
computability-in-agda
A formalisation of computability theory in Agda.
Primary Language
Agda
MIT License
MIT
computability-in-agda GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
computability-in-agda
A formalisation of computability theory in Agda.