Skip to content

GitLab

Explore

Sign in

C

covering-spaces

Project information

Classification of covering spaces and canonical change of basepoint in HoTT.

25 Commits
1 Branch
3 Tags

README

Created on

March 29, 2023

Copy SSH clone URLgit@gitlab.tue.nl:computer-verified-proofs/covering-spaces.git
Copy HTTPS clone URLhttps://gitlab.tue.nl/computer-verified-proofs/covering-spaces.git

Loading