tnttodda

PhD Computer Science @ University of Birmingham

University of Birmingham

Pinned Repositories

Reals
Language:Agda10
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Language:Agda226 16 3741
ml_framework
Language:Agda00
RegressionInType
Language:Agda00
RegressionInTypeArxiv
Formalised framework for regression on encodings of computable real numbers
Language:Agda1 0 00
tnttodda.github.io
Visualiser for Spartan
Language:HTML33
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:Agda01

tnttodda's Repositories

tnttodda/tnttodda.github.io
Visualiser for Spartan
Language:HTML33
tnttodda/RegressionInTypeArxiv
Formalised framework for regression on encodings of computable real numbers
Language:Agda1 0 00
tnttodda/ml_framework
Language:Agda00
tnttodda/RegressionInType
Language:Agda00
tnttodda/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:Agda01