A formalisation of computability theory in Agda.
Primary LanguageAgdaMIT LicenseMIT
No issues in this repository yet.