Giters
Todd Waugh Ambridge (tnttodda)

tnttodda

Geek Repo

8

followers

3

following

0

stars

Location:University of Birmingham

Github PK Tool:Github PK Tool

Todd Waugh Ambridge's repositories

tnttodda.github.io

Visualiser for Spartan

Language:HTMLStargazers:3Issues:0Issues:0

RegressionInTypeArxiv

Formalised framework for regression on encodings of computable real numbers

Language:AgdaStargazers:1Issues:0Issues:0

ml_framework

Language:AgdaStargazers:0Issues:0Issues:0

RegressionInType

Language:AgdaStargazers:0Issues:0Issues:0

TypeTopology

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

Language:AgdaLicense:GPL-3.0Stargazers:0Issues:0Issues:0