Ayberk Tosun's starred repositories
stern-brocot.hs
Library of the Stern-Brocot representation of the rational numbers
phd-thesis
Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
typical-antiphrasis
Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
sigmalocales
Locale-theoretic formalization of algorithmic randomness notions
scheme-theory-in-agda
A formalization of synthetic algebraic geometry in Agda
ContinuityType
This is the Agda implementation of Chuangjie Xu's PhD thesis, namely A Continuous Computational Interpretation of Type Theories
general-type-theories
A (formalised) general definition of type theories
synthetic-reals
reals in agda as an archimedean field
birmingham-theory
The web page for the Birmingham theoretical computer science research group
agda-knots
An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
agda-infinity-categories
Infinity categories in agda
TypeTheory
The mathematical study of type theories, in univalent foundations
MTT-semantics_book
Code for the upcoming monograph "Formal Semantics in Modern Type Theories" by Stergios Chatzikyriakidis and Zhaohui
zotero-better-bibtex
Make Zotero effective for us LaTeX holdouts
chalmers-msc-thesis-template
Template for master's theses at Chalmers. *Work in progress!*