Publish mathematics
CloK Press
Read mathematical writing and Lean libraries, or publish a network of your own.
Mathematical writing
0 works
No writing has been published under this subject yet. Submit a network to CloK Press.
Lean libraries
1 library
The Jordan curve theorem
Andrea E. V. FerrariA loop in the plane that does not cross itself divides the plane into an inside and an outside — and why that is a theorem rather than an observation.
- Comments:
- 20 files · 186 declarations · no sorry · 552 edges (from the compiler) · submitted August 11, 2026 (v2) · counted 2026-10-10 · Publication details
- Subjects:
- topologyplane-topologybrouwer
SUBMIT A NETWORK
Enter a public GitHub repository; CloK Press checks and pins the commit you review.