michael-wardaki4169/lean-topology-proofs

HTML

Machine-checked formalization of introductory topology in Lean 4, translating intuitive mathematical material into precise definitions and verified proofs for mathematicians and Lean learners.

★ +9 today 9 total stars

Quality 90 🔥 19

Popular in HTML

denysosadchyi/design-spec-framework ★ 7 liuhuanyong/FDEGreenBook ★ 11 w-r-s/academic-homepage-template ★ 10 denysosadchyi/design-spec-framework ★ 7

Related Repos

calebzstaylor5207/readiris-windows-ocr-2026 ★ 8 kevin-cooperzhcd744/bun-charts-2026 ★ 10 felixojstone9939/bpm-to-frames-calculator ★ 10 w-r-s/academic-homepage-template ★ 10

📈 View Trend View on GitHub →