Created on March 06, 2025
2025
I have a project idea for a topological library in Lean4 that I will start working on soon.