leanprover-community/mathlib-changelog - GitHub Explorer | GitHub Explorer | Trending

Stars

15

Forks

0

Watchers

15

Open Issues

5

Repository Health Score

❤️

45/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Recent Commits

Fix performance regression in comment stripping

David Chanin•6 days ago

b5d891dView on GitHub

Fix comment stripping crash on /- inside string literals (#20)

David Chanin•1 week ago

134f72fView on GitHub

Updating CHANGELOG

github-actions[bot]•1 week ago

035ec45View on GitHub

Updating CHANGELOG

github-actions[bot]•2 weeks ago

1bb168dView on GitHub

Updating CHANGELOG

github-actions[bot]•2 weeks ago

4de73a2View on GitHub

Updating CHANGELOG

github-actions[bot]•2 weeks ago

0899f76View on GitHub

Updating CHANGELOG

github-actions[bot]•2 weeks ago

6d6d621View on GitHub

Updating CHANGELOG

github-actions[bot]•2 weeks ago

e62b2c2View on GitHub

Updating CHANGELOG

github-actions[bot]•2 weeks ago

9ad6890View on GitHub

Updating CHANGELOG

github-actions[bot]•2 weeks ago

e44baa4View on GitHub

Updating CHANGELOG

github-actions[bot]•3 weeks ago

fde34e6View on GitHub

Updating CHANGELOG

github-actions[bot]•3 weeks ago

261d7ebView on GitHub

Updating CHANGELOG

github-actions[bot]•3 weeks ago

f1f67f4View on GitHub

Updating CHANGELOG

github-actions[bot]•3 weeks ago

8a49195View on GitHub

Updating CHANGELOG

github-actions[bot]•3 weeks ago

f3c186bView on GitHub

View all commits

GitHub Explorer

mathlib-changelog

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues