Analysis of websites containing math.andrej.com backlinks
These websites are/were linking to math.andrej.com.
Websites found: 3
Number of websited displayed: 3
List of results:
Homotopy Type Theoryhttp://site-overview.com/stats/homotopytypetheory.org
This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new interpretation of Martin-Löf's system of intensional, constructive type theory into abstract homotopy theory. Propositional equality is interpreted as homotopy and…
- Website Address renewal date: 16/12/23
- Domain Address Reg. date: 11/3/13
- Website address in use until: 18/3/13