Welcome to Homotopytypetheory.org - Homotopy Type Theory

homotopytypetheory.org

Description: Homotopy Type Theory. This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and...

Google PR 5

Trustworthiness Excellent
Avg. Daily Visitors N/A

Child Safety Unknown
Avg. Daily Pageviews N/A

Privacy Excellent

Homotopy Type Theory

Homotopytypetheory.org: get to the top rated Homotopy Type Theory pages and content popular with Russian Federation-based Homotopytypetheory.org users or check the following digest to find out more. Homotopytypetheory.org is a malware-free website without age restrictions, so you can safely browse it. It seems that Homotopy Type Theory team are just starting to conquer the social media and they have already achieved a promising result — 162 user activities so far (Twitter dominates with around 56% of all user reactions). Homotopytypetheory.org is hosted with Automattic, Inc in United States. Homotopy Type Theory traffic is not yet estimated by Alexa.

Visit homotopytypetheory.org

Domain info

Location:	United States
Registrant:	REDACTED FOR PRIVACY
Hosted by:	Automattic, Inc
Registrar:	Public Interest Registry
Subnetworks:	192.0.78.24, 192.0.78.25

Alexa's Traffic Estimates & Trends

Traffic Rank:

417 944

More details from Alexa

Social Media Activities

Facebook likes: -
Twitter mentions: 91
Google pluses: 4
LinkedIn mentions: 4
Pinterest pins: -
StumbleUpon views: 63

Web Safety

This website is malware-free.
Status ok

See Google Transparency Report

Sites associated with the same registrant

Whois

Expand

Homotopytypetheory.org popular pages to visit

Homotopy Type Theory 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 ...

The HoTT Book | Homotopy Type Theory Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6" × 9" size, hardcover, first-ed...

Blog | Homotopy Type Theory such that , as defined in Guillaume Brunerie’s PhD thesis). Over the last year, I have, under the supervision of Anders Mörtberg, been working on the formalisation of in Cubical Agda. With some sma...