lean-homotopy-theory
A development of homotopy theory in the Lean formal theorem prover.
A development of homotopy theory in the Lean formal theorem prover.
A development of homotopy theory in the Lean formal theorem prover.
A development of homotopy theory in the Lean formal theorem prover.
Apache License 2.0