Giters
Andrew Sneap (adsneap)

adsneap

Geek Repo

2

followers

4

following

3

stars

Github PK Tool:Github PK Tool

Andrew Sneap's repositories

anon-pldi-ternary-real

Language:JavaStargazers: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

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Reals

Language:AgdaStargazers:1Issues:0Issues:0

CSProject

Stargazers:0Issues:0Issues:0