An interactive Kotlin editor for the REFUNK library.
kotlin math recursion recursive-functions math-library primitive-recursive-functions computability-theory computability
- Updated
Sep 26, 2025 - HTML
#
computability-theory
Here are 2 public repositories matching this topic...
Swansea University Theoretical Computer Science Group
verification specification theoretical-computer-science computability-theory trustworthy-ai swansea-university algorithms-complexity
- Updated
Dec 9, 2025 - HTML
Improve this page
Add a description, image, and links to the computability-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the computability-theory topic, visit your repo's landing page and select "manage topics."