Ayberk Tosun

icon indicating a website link https://www.cs.bham.ac.uk/~axt978

icon company University of Birmingham icon location Birmingham, UK icon location PhD student at the University of Birmingham.

Results 3 repositories owned by Ayberk Tosun

formal-topology-in-UF

33
Stars
2
Forks
Watchers

Formal Topology in Univalent Foundations (WIP).

verified publisher icon ayberkt

grammar-inference

24
Stars
2
Forks
Watchers

Learning rigid grammars in Haskell.

verified publisher icon ayberkt

sequents

26
Stars
0
Forks
Watchers

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

verified publisher icon ayberkt