This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
active 2023-08-15 → 2025-01-07 (UTC)
Complete coverage26,597 / 26,597 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-27 (UTC)
Events
191
Pushes
155
Pull requests
18
Issues
0
Stars
1
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 512 days from 2023-08-15 to 2025-01-07. Pushes: 155 total, peak 19 in a day. Pull requests: 18 total, peak 4 in a day. Issues: 0 total, peak 0 in a day. Comments: 11 total, peak 4 in a day. Stars: 1 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
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| Kfwullaert | 157 | 146 | 8 | 3 |
| rmatthes | 16 | 0 | 8 | 8 |
| nmvdw | 10 | 8 | 2 | 0 |
| benediktahrens | 1 | 1 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#43rmatthes2023-08-28 21:29Solve issue 1770
- Pull request#43rmatthes2023-08-28 20:54
- Pull request#39Kfwullaert2023-08-28 09:08
- Issue comment#39rmatthes2023-08-27 16:19replaces two proofs by reference to an upstream lemma
- Issue comment#39rmatthes2023-08-27 12:03replaces two proofs by reference to an upstream lemma
- Pull request#42rmatthes2023-08-27 09:37
- Pull request#41Kfwullaert2023-08-27 09:05
- Issue comment#41rmatthes2023-08-27 08:50creates structure from last two axioms of linear category
- Issue comment#41rmatthes2023-08-27 08:44creates structure from last two axioms of linear category
- Pull request#41rmatthes2023-08-27 08:30
- Issue comment#40rmatthes2023-08-26 23:07proposal for two explicit constructions of coalg homomorphisms
- Pull request#40Kfwullaert2023-08-26 17:32
- Issue comment#40Kfwullaert2023-08-26 17:16proposal for two explicit constructions of coalg homomorphisms
- Pull request#40rmatthes2023-08-26 17:02
- Pull request#39rmatthes2023-08-26 13:52
- Pull request#38Kfwullaert2023-08-25 16:29
- Pull request#38nmvdw2023-08-25 16:28
- Pull request#37Kfwullaert2023-08-25 15:37
- Pull request#37nmvdw2023-08-25 15:29
- Pull request#36Kfwullaert2023-08-19 08:38
- Pull request#36rmatthes2023-08-18 14:31
- Pull request#35Kfwullaert2023-08-18 09:47
- Issue comment#35rmatthes2023-08-18 07:11tinkering on the new helper lemmas at the end of Categories.v
- Pull request#35rmatthes2023-08-17 22:07
- Issue comment#34rmatthes2023-08-17 13:09proof of the *hypothesis* diagonal_commutes_with_assoc
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 1 stars here means stars gained during the window, not the repo's star count.