lean-homotopy-theory icon indicating copy to clipboard operation
lean-homotopy-theory copied to clipboard

verified publisher icon rwbarton
→

Metadata

A development of homotopy theory in the Lean formal theorem prover.

lean-homotopy-theory

A development of homotopy theory in the Lean formal theorem prover.

← Metadata

15
Stars
6
Forks
Watchers

Owner

verified publisher icon rwbarton

Metadata

A development of homotopy theory in the Lean formal theorem prover.

Back