#34 today
michael-wardaki4169/lean-topology-proofs
HTML Other
Machine-checked formalization of introductory topology in Lean 4, translating intuitive mathematical material into precise definitions and verified proofs for mathematicians and Lean learners.
Created Jul 27, 2026
- Stars
- 9
- Today
- +9
- Forks
- 3
- Quality
- 90/100
- Momentum
- 19
First trending
Jul 28, 2026
first spotted on the list
Best rank
#34
highest position reached
Appearances
1
times on the trending list
Quality score
90
out of 100
Momentum
19
trend strength indicator
Star velocity
0.18
stars per day since creation
Activity — last 60 days
daily counts, collected every 6 hours- Stars
- Forks
- Merged PRs
- Issues
- Closed issues
Collecting activity data since launch — check back in a few days.
Star history
total stars per snapshotNot enough snapshots yet — check back soon.
Rank history
position on trending · lower is betterNot enough snapshots yet — check back soon.
Stars badge
Show current stars in your README or profile. Auto-updates every 6 hours.
Markdown
[](https://www.notionpulse.cc/repo/michael-wardaki4169/lean-topology-proofs) HTML
<a href="https://www.notionpulse.cc/repo/michael-wardaki4169/lean-topology-proofs"><img src="https://www.notionpulse.cc/api/badge/michael-wardaki4169/lean-topology-proofs.svg" alt="michael-wardaki4169/lean-topology-proofs stars badge" /></a> Repository of the Day
Repository of the Week
Repository of the Month
