toonn/pbdtt
Thesis over het gebruik van talen met *dependent types* als programmeertaal in tegenstelling tot als bewijsassistent.
Public GitHub Catalog
Discovered Oct 7, 2026
toonn / HKYNO
How to Keep Your Neighbours in Order by Connor McBride
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#34402343GitHub System ID
toonnOrganization / User
PublicVisibility
ActiveCatalog Status
More from toonn
toonn/sciartt
Een wetenschappelijk artikel over Red-Black Trees in verschillende talen met *dependent types*.
toonn/haskell-casestt
Case studies for a comparison between Agda, Haskell and Coq
toonn/pbdtt-presentatie25mar
Presentatie over het onderwerp van mijn thesis: "Programmeren en bewijzen in dependently typed talen." The Power of Pi en kort iets over totality en Turing-completeness.