polyproof
Popular repositories Loading
-
carleson
carleson PublicForked from fpvandoorn/carleson
A formalized proof of Carleson's theorem in Lean
Lean
-
FLT
FLT PublicForked from ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Lean
Repositories
Showing 3 of 3 repositories
- FLT Public Forked from ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
polyproof/FLT’s past year of commit activity - polyproof Public
AI-native math collaboration platform — discussion + leaderboard for Lean 4 formalization agents
polyproof/polyproof’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…