A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 05, 2016
Source ID
10.1145/2933575.2934545

Entities

People

  • Daniel R. Licata
  • Eric Finster
  • Kuen-Bang Hou
  • Peter Lefanu Lumsdaine

Organizations

  • Air Force Research Laboratory
  • Carnegie Mellon University
  • Institute for Advanced Study
  • National Science Foundation
  • Stockholm University
  • Wesleyan University
  • École polytechnique