{"adoption": {"forks": 378, "observed_at": "2026-08-28T04:06:21.435379+00:00", "stars": 2167}, "canonical_url": "https://ross.abutalabs.com/products/hott-book", "card": {"archived": false, "artifact_type": "learning-resource", "description": "A textbook on informal homotopy type theory", "domain": ["mathematics", "education", "programming-languages"], "enriched": true, "function": ["documentation"], "health_score": 74, "homepage": null, "language": "TeX", "license": null, "license_family": "other", "maturity": "stable", "member_repos": ["HoTT/book"], "name": "HoTT/book", "platform": ["cross-platform"], "pushed_at": "2026-06-18T16:22:21+00:00", "repo": "HoTT/book", "stars": 2167, "tags": ["homotopy-type-theory", "univalent-foundations", "textbook", "tex", "latex", "mathematics"], "topics": [], "urls": [], "use_cases": ["learn homotopy type theory from scratch", "study univalent foundations of mathematics", "reference the HoTT book when doing type-theoretic proofs", "find a free textbook on higher inductive types and univalence", "prepare a course on homotopy type theory", "look up definitions like equivalence, universe, and univalence axiom"], "what_it_is": "The Homotopy Type Theory book, an open-access textbook on informal homotopy type theory produced by the Univalent Foundations program at the Institute for Advanced Study. The repository contains the LaTeX source, licensed under CC BY-SA 3.0, with compiled versions distributed via the homotopytypetheory.org website.", "when_to_avoid": ["you need a formalized, machine-checked development of HoTT in a proof assistant", "you want a beginner introduction to plain type theory or programming with dependent types", "you need software or a library rather than a textbook"], "when_to_choose": ["you want the canonical informal introduction to homotopy type theory", "you need a free, openly licensed reference on univalent foundations", "you are a mathematician or computer scientist learning type theory with a homotopical perspective"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/hott-book", "repo": "HoTT/book", "role": "main", "score": 62}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T02:49:31.123328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fe4ca71cfd3884440c6b1d72e2c0113fd89facff750bd9e68dbbb96c03f4482e", "fetched_at": "2026-08-28T04:06:21.435379+00:00", "kind": "readme", "missing": false, "url": "https://github.com/HoTT/book"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T02:49:31.123328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fe4ca71cfd3884440c6b1d72e2c0113fd89facff750bd9e68dbbb96c03f4482e", "fetched_at": "2026-08-28T04:06:21.435379+00:00", "kind": "readme", "missing": false, "url": "https://github.com/HoTT/book"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T02:49:31.123328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fe4ca71cfd3884440c6b1d72e2c0113fd89facff750bd9e68dbbb96c03f4482e", "fetched_at": "2026-08-28T04:06:21.435379+00:00", "kind": "readme", "missing": false, "url": "https://github.com/HoTT/book"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T02:49:31.123328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fe4ca71cfd3884440c6b1d72e2c0113fd89facff750bd9e68dbbb96c03f4482e", "fetched_at": "2026-08-28T04:06:21.435379+00:00", "kind": "readme", "missing": false, "url": "https://github.com/HoTT/book"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T02:49:31.123328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fe4ca71cfd3884440c6b1d72e2c0113fd89facff750bd9e68dbbb96c03f4482e", "fetched_at": "2026-08-28T04:06:21.435379+00:00", "kind": "readme", "missing": false, "url": "https://github.com/HoTT/book"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T02:49:31.123328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fe4ca71cfd3884440c6b1d72e2c0113fd89facff750bd9e68dbbb96c03f4482e", "fetched_at": "2026-08-28T04:06:21.435379+00:00", "kind": "readme", "missing": false, "url": "https://github.com/HoTT/book"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:06:21.435379+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T02:49:31.123328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fe4ca71cfd3884440c6b1d72e2c0113fd89facff750bd9e68dbbb96c03f4482e", "fetched_at": "2026-08-28T04:06:21.435379+00:00", "kind": "readme", "missing": false, "url": "https://github.com/HoTT/book"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T02:49:31.123328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fe4ca71cfd3884440c6b1d72e2c0113fd89facff750bd9e68dbbb96c03f4482e", "fetched_at": "2026-08-28T04:06:21.435379+00:00", "kind": "readme", "missing": false, "url": "https://github.com/HoTT/book"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T02:49:31.123328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fe4ca71cfd3884440c6b1d72e2c0113fd89facff750bd9e68dbbb96c03f4482e", "fetched_at": "2026-08-28T04:06:21.435379+00:00", "kind": "readme", "missing": false, "url": "https://github.com/HoTT/book"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T02:49:31.123328+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fe4ca71cfd3884440c6b1d72e2c0113fd89facff750bd9e68dbbb96c03f4482e", "fetched_at": "2026-08-28T04:06:21.435379+00:00", "kind": "readme", "missing": false, "url": "https://github.com/HoTT/book"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 88, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 5048, "days_push": 76, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 62, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}