开源星图GITHUB / DISCOVERY
今日免费检索 3 次
HoTT / book

book

A textbook on informal homotopy type theory

TeX★ 2.2k⑂ 380创建于 2012-11-06最近提交 2026-06-18
中文介绍 · 自动生成

book 是用 TeX 编写的学习资料,用于系统学习与查阅。

目前累计 2.2k star、380 fork,主要语言为 TeX,项目始于 2012 年。最近状态:近半年有提交。适合:想补齐某块知识的开发者。

中文介绍优先采用本站人工维护条目;无维护条目时依据 GitHub 公开字段(语言、主题、星标、提交时间)自动生成,未经项目方确认,不构成选型结论。
一句话解读

HoTT/book 是一个以 TeX 为主的开源项目,目前累计 2.2k star、380 fork,近半年有提交。项目未标注主题标签。

依据 GitHub 公开字段(语言、主题、星标、提交时间)自动生成,未经人工逐项核实。
无主题标签

README

正在加载…

相关项目

★

ixy-languages 是用 TeX 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打实现清晰。

A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python

TeX ★ 2.2k⑂ 54 2.4 年前更新 BSD-2-Clause