Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
anon-pldi-ternary-real
CSProject
Reals
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
adsneap's Repositories
adsneap/Reals
adsneap/agda
Agda is a dependently typed programming language / interactive theorem prover.
adsneap/anon-pldi-ternary-real
adsneap/CSProject
adsneap/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.