HoTTLean

Public

No description provided.

Apache License 2.0

Updated Feb 6, 2026

Created Jun 14, 2024

53 stars

11 forks

9 watchers

20 open issues

Languages

Codebase composition by bytes

Top Contributors

124 commits

66 commits

56 commits

56 commits

39 commits

35 commits

14 commits

5 commits

1 commits

1 commits

Recent Stargazers

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

FO Formal-Mathematics-Lab

over 1 year ago

AN ann4n

over 1 year ago

Repository Complexity

Approximate file count and repository size.

Files167

Size (KB)10,409

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 17Closed Issues 83

Open Issues100

Activity Peak

Most recent day with highest activityFeb 6, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

HoTTLean