Ejercicios de formalización de matemáticas con Lean4
active 2024-10-01 → 2025-02-09 (UTC)
Complete coverage26,529 / 26,529 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-24 (UTC)
Events
59
Pushes
25
Pull requests
24
Issues
0
Stars
3
Forks
2
Activity over time
Daily event counts in the loaded window
Line chart, 132 days from 2024-10-01 to 2025-02-09. Pushes: 25 total, peak 7 in a day. Pull requests: 24 total, peak 2 in a day. Issues: 0 total, peak 0 in a day. Comments: 2 total, peak 1 in a day. Stars: 3 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
Recent activity
Latest issues, pull requests and releases
- Pull request#12gsierra992024-12-12 20:54
- Pull request#12jaalonso2024-12-09 18:07
- Pull request#11gsierra992024-11-30 12:05
- Pull request#11jaalonso2024-11-28 13:36
- Pull request#10gsierra992024-11-18 08:19
- Pull request#10jaalonso2024-11-12 15:36
- Pull request#9gsierra992024-11-12 09:09
- Pull request#9jaalonso2024-11-10 20:07
- Pull request#8gsierra992024-11-09 14:03
- Pull request#8jaalonso2024-11-08 18:14
- Pull request#7gsierra992024-10-28 14:57
- Pull request#7jaalonso2024-10-28 11:03
- Pull request#6gsierra992024-10-27 16:46
- Issue comment#6jaalonso2024-10-27 12:28Revisión de la relación 1.6
- Pull request#6jaalonso2024-10-27 11:36
- Pull request#5gsierra992024-10-26 14:06
- Pull request#5jaalonso2024-10-26 11:34
- Pull request#4gsierra992024-10-23 16:41
- Pull request#4jaalonso2024-10-23 12:38
- Pull request#3gsierra992024-10-22 14:58
- Pull request#3jaalonso2024-10-22 11:51
- Pull request#2jaalonso2024-10-19 18:06
- Issue comment#2jaalonso2024-10-19 18:00Revisión de los ejercicios 1.4 y 15 de la relación 1.1 y de los ejercicios de la relación 1.2
- Pull request#2jaalonso2024-10-19 18:00
- Pull request#2jaalonso2024-10-18 16:50
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 3 stars here means stars gained during the window, not the repo's star count.