atgt

by Mathematician Victor Porton · Victor Porton's Foundation

Formalizing Algebraic Theory of General Topology in Lean

Built withLeanformal-mathematicsformal-verificationformalized-mathematicsintegral-calculuslean

Comments · 0

No comments yet. Tried it? Tell Mathematician what worked, what didn't, or what you'd want next.

See what other members are building and what each project is looking for.