Pinned Repositories
cubical
An experimental library for Cubical Agda
awswan.github.io
cubical
An experimental library for Cubical Agda
HoTT-Agda
Development of homotopy type theory in Agda
KataGo
GTP engine and self-play learning in Go
kraustheorem
A generalisation of Kraus' theorem
nielsenschreier-hott
A formalisation of the finite index Nielsen-Schreier theorem in homotopy type theory.
oraclemodality
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
awswan's Repositories
awswan/oraclemodality
awswan/nielsenschreier-hott
A formalisation of the finite index Nielsen-Schreier theorem in homotopy type theory.
awswan/HoTT-Agda
Development of homotopy type theory in Agda
awswan/awswan.github.io
awswan/cubical
An experimental library for Cubical Agda
awswan/KataGo
GTP engine and self-play learning in Go
awswan/kraustheorem
A generalisation of Kraus' theorem
awswan/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.