A textbook for the transition to proof course for mathematics majors utilizing IBL.
active 2023-08-24 → 2026-01-05 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 866 days from 2023-08-24 to 2026-01-05. Pushes: 53 total, peak 9 in a day. Pull requests: 4 total, peak 4 in a day. Issues: 16 total, peak 3 in a day. Comments: 8 total, peak 3 in a day. Stars: 16 total, peak 2 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
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#186dcernst2025-04-23 18:30
- Pull request#186dcernst2025-04-23 18:30
- Pull request#186dcernst2025-04-23 18:30
- Pull request#186dcernst2025-04-23 18:29
- Issue#185dcernst2025-04-17 01:38Clean up and/or add discussion about functions (and relations)
- Issue#184dcernst2025-04-08 02:28Add comment about Euclid's Lemma involving more than two factors
- Issue#183dcernst2025-04-08 02:27Remove suggestion for proof by contradiction for Theorem 6.17
- Issue#182dcernst2025-03-29 17:09Add some description of Facebook and Twitter
- Issue comment#181dcernst2025-03-28 04:32Definition 5.7: Please include 0^0 = 1
- Issue comment#181zteitler2025-03-28 04:29Definition 5.7: Please include 0^0 = 1
- Issue comment#180zteitler2025-03-28 03:569.30 and 9.31: Label formatting issues in PreTeXt
- Issue comment#180dcernst2025-03-27 21:519.30 and 9.31: Label formatting issues in PreTeXt
- Issue comment#180dcernst2025-03-26 22:579.30 and 9.31: Label formatting issues in PreTeXt
- Issue comment#180dcernst2025-03-26 22:179.30 and 9.31: Label formatting issues in PreTeXt
- Issue comment#181dcernst2025-03-26 22:14Definition 5.7: Please include 0^0 = 1
- Issue#181zteitler2025-03-26 17:30Definition 5.7: Please include 0^0 = 1
- Issue#180zteitler2025-03-26 17:259.30 and 9.31: Label formatting issues in PreTeXt
- Issue#179dcernst2025-03-03 20:59Clarify where various axioms "live"
- Issue#178dcernst2025-02-24 15:34Family of sets
- Issue#177dcernst2025-02-16 16:38Problem 2.86 and Theorem 2.52 are duplicates
- Issue#176dcernst2024-01-08 21:22Numbering for figures in PreTeXt vs PDF is messed up
- Issue comment#174dcernst2023-11-15 16:28Issues with Skeleton Proof for Strong Induction
- Issue#175dcernst2023-11-14 03:37"the" vs "a" in Theorem 4.36
- Issue#174dcernst2023-10-29 16:59Issues with Skeleton Proof for Strong Induction
- Issue#173dcernst2023-10-29 16:57Add “find negation” to Problem 2.80
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 16 stars here means stars gained during the window, not the repo's star count.