GitHub repository: rwbarton/lean-homotopy-theory
Primary language: Lean
Created: 2018-06-04T12:44:23Z
Description: A development of homotopy theory in the Lean formal theorem prover.