%0 Journal Article %1 journals/corr/HouFLL16 %A (Favonia), Kuen-Bang Hou %A Finster, Eric %A Licata, Daniel R. %A Lumsdaine, Peter LeFanu %D 2016 %J CoRR %K dblp %T A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory. %U http://dblp.uni-trier.de/db/journals/corr/corr1605.html#HouFLL16 %V abs/1605.03227

@article{journals/corr/HouFLL16, added-at = {2022-09-22T00:00:00.000+0200}, author = {(Favonia), Kuen-Bang Hou and Finster, Eric and Licata, Daniel R. and Lumsdaine, Peter LeFanu}, biburl = {https://www.bibsonomy.org/bibtex/2bf336542650beaa910371bb4e625268a/dblp}, ee = {http://arxiv.org/abs/1605.03227}, interhash = {9de6800aa6408250660a8926976851b5}, intrahash = {bf336542650beaa910371bb4e625268a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:11:57.000+0200}, title = {A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1605.html#HouFLL16}, volume = {abs/1605.03227}, year = 2016 }