Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

P

Paths in HITs

Project information

Describing paths in Higher Inductive Types (coequalizers and pushouts).

176 Commits
2 Branches
0 Tags

README

Created on

October 19, 2018

Copy SSH clone URLgit@gitlab.com:fplab/freealgstr.git
Copy HTTPS clone URLhttps://gitlab.com/fplab/freealgstr.git