Live Lean 4 formalization of Category τ — 450 modules, 125K lines, 4,332 theorems, 0 sorry in Books I–VI
-
Updated
Apr 14, 2026 - Lean
#
panta-rhei
Here are 6 public repositories matching this topic...
Canonical publication + archival home — edition-bound assets, guided tours, frozen snapshots
-
Updated
Apr 14, 2026
Active contributor-facing research workspace — notebooks, scripts, explorations
-
Updated
Apr 14, 2026
Organization profile and shared community-health files for the Panta Rhei Research Program
-
Updated
Apr 14, 2026
ARCHIVED — Superseded by taulib (live) and books (frozen snapshot)
-
Updated
Apr 14, 2026 - Lean
Community hub — onboarding, contribution guidance, discussions
-
Updated
Apr 14, 2026
Improve this page
Add a description, image, and links to the panta-rhei topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the panta-rhei topic, visit your repo's landing page and select "manage topics."