ayberkt

formal-topology-in-UF

Formal Topology in Univalent Foundations (WIP).

sequents

Proof search for intuitionistic propositional logic using Dyckhoff's LJT.

abt

Ocaml port of CMU's ABT library (with various modifications).

agda-github-action

A GitHub action for typechecking Agda code.

gstts-formal-topology-talk

Slides for a talk given at the Gothenburg-Stockholm Type Theory Seminar.

chalmers-msc-thesis-template

Template for master's theses at Chalmers. *Work in progress!*

complexity-for-logicians

Notes from a mini course by Anupam Das.

msc-thesis

aspell-tr

docker-agda

natural-sciences-forest

My forest for natural sciences, built using forester.

notes-on-realizability

Lecture notes on realizability

ayberkt.github.io

birmingham-agda-club

cat

A formalization of category theory in cubical Agda

CL-PC22

Coherent Logic at Proof and Computation, 2022

complexity

continuity-bibliography

[WIP] An annotated bibliography on the works on continuity principles in type theories.

coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

cubical

An experimental library for Cubical Agda

dialogue

Experiments with dialogue trees.

domains-and-locales-reading-group

homepage

instiki

a basic wiki clone so pretty and easy to set up, you’ll wonder if it’s really a wiki.

MGS-domain-theory

Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

project-euler

My solutions to project euler.

searchable-sets

TBD.

type-theory-turkish-dictionary

TypeTopology

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

yoneda-in-tongues

Yoneda lemma in every known language