🐲
SERENITY
VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge!
I am not a technology nerd!11!!!
Also, i'm so sorry for my geniusness and successness. =)
Pinned Loading
-
milewski-ctfp-pdf
milewski-ctfp-pdf PublicForked from hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
TeX
-
Publications
Publications PublicForked from BartoszMilewski/Publications
Misc. publications, conference slides, etc. For more, go to https://BartoszMilewski.com
TeX
-
-
SymmetryBook
SymmetryBook PublicForked from UniMath/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
HTML 1
-
2006_03_Homotopy_lambda_calculus
2006_03_Homotopy_lambda_calculus PublicForked from UniMath/2006_03_Homotopy_lambda_calculus
Voevodsky's 2006 paper on homotopy lambda calculus
-
cubical-hott-agda
cubical-hott-agda PublicForked from UlrikBuchholtz/cubical-hott-agda
Version of the HoTT-Agda library based on Cubical Agda
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.