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

gabefishercb508/abay-bot-workflow-tools ★ 52 danielmillersr2593/3d-print-tools-editor ★ 51 ryanphqross9118/seliware-executor-script-update ★ 47 noah-scottqkh6962/addon-ez-bedrock-loader ★ 44

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 →