Sign inSign up

rzk-lang/sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.

MarkdownStars 54Forks 12Watchers 54Open issues 27
Details
仓库信息
Ownerrzk-lang
Homepagehttps://rzk-lang.github.io/sHoTT/
GitHubhttps://github.com/rzk-lang/sHoTT
Last pushed2025-11-16
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--