Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
book
A textbook on informal homotopy type theory
phd
Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary
alex-new
Grant application with Alex
cftlfp
Derivatives
Derivative of quotient containers
g52ifr
OmegaCats
pisigma-0-2-2
TTRes
txa's Repositories
txa/OmegaCats
txa/Derivatives
Derivative of quotient containers
txa/g52ifr
txa/pisigma-0-2-2
txa/alex-new
Grant application with Alex
txa/cftlfp
txa/TTRes