Ayberk Tosun's starred repositories
poset-type-theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
interaction-calculus-of-constructions
A minimal proof checker.
PrimeNumberTheoremAnd
blueprint for prime number theorem and more
topological-co-induction
Agda formalisation of the results of the paper "A topological reading of coinductive predicates in Dependent Type Theory"
MGS-categorical-realizability
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
hott-reading-course
Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science and Engineering
cookiebreaks
Scripts for running cookie breaks
masters-formalisation
Formalisation of my Master's Thesis in Coq.