Organization profile and shared community-health files for the Panta Rhei Research Program.
| Repository | Role |
|---|---|
| site | Canonical public website / Atlas at panta-rhei.site |
| taulib | Live Lean 4 formalization — 450 modules, 125K lines, 4,332 theorems |
| books | Canonical publication + archival home |
| research | Active contributor workspace |
| community | Community hub — onboarding, discussions |
profile/README.md— the organization profile displayed on github.com/Panta-Rhei-Research- Community health files (CODE_OF_CONDUCT, CONTRIBUTING, etc.) shared across all repos
- Website: panta-rhei.site
- Contact: contact@panta-rhei.site
- Discussions: Organization discussions