Pinned Repositories
Reals
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
ml_framework
RegressionInType
RegressionInTypeArxiv
Formalised framework for regression on encodings of computable real numbers
tnttodda.github.io
Visualiser for Spartan
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
tnttodda's Repositories
tnttodda/tnttodda.github.io
Visualiser for Spartan
tnttodda/RegressionInTypeArxiv
Formalised framework for regression on encodings of computable real numbers
tnttodda/ml_framework
tnttodda/RegressionInType
tnttodda/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.