Andrew Swan's repositories
nielsenschreier-hott
A formalisation of the finite index Nielsen-Schreier theorem in homotopy type theory.
cubical
An experimental library for Cubical Agda
Language:AgdaNOASSERTION000
KataGo
GTP engine and self-play learning in Go
Language:C++NOASSERTION000
kraustheorem
A generalisation of Kraus' theorem
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Language:AgdaGPL-3.0000