Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
Abstract
1.
Introduction
2.
Lean Theorem Prover
3.
Topological Spaces in Lean
4.
Urysohn's Lemma
5.
Conclusion
References