lana-agents/iut
Inter-universal Teichmüller theory: the ABC/IUT trunk.
GitHub repository with 6 stars and 1 forks.
Language: Lean
24h trend summary
Trending score 0.23, freshness score 0.87, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-02: 6 stars and 1 forks.