642 followers
#arXiv #math_LO "Homotopy Type Theory in Lean. (arXiv:1704.06781v2 [cs.LO] UPDATED)" https://t.co/b8Rb3IrX5i
#arXiv #math_LO "Homotopy Type Theory in Lean. (arXiv:1704.06781v2 [cs.LO] UPDATED)" https://t.co/b8Rb3IrX5i
#arXiv #cs_LO "Homotopy Type Theory in Lean. (arXiv:1704.06781v2 [cs.LO] UPDATED)" https://t.co/b8Rb3IrX5i
Homotopy Type Theory in Lean. ~ U. Buchholtz, F. van Doorn & J. von Raumer #ITP #Lean #HoTT https://t.co/oLu3cZdtzC
あれ,von RaumerはLeanのウェブページではpast memberになっているけれど,Ph.Dコースに進学したから主力開発チームから外れただけかな。 https://t.co/QdCgfPeVhr https://t.co/gt7ifGqOQQ