Skip to content
GitHub Explorer

hmonroe

View on GitHub ↗

active 2023-11-18 → 2024-04-09 (UTC) · 28 repositories

Complete coverage27,489 / 27,489 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-03 (UTC)
Events
440
Pushes
276
Pull requests
58
Issues
1
Reviews
22
Repositories
28

Activity over time

Daily event counts in the loaded window

Line chart, 144 days from 2023-11-18 to 2024-04-09. Pushes: 276 total, peak 39 in a day. Pull requests: 58 total, peak 5 in a day. Issues: 1 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
leanprover-community/mathlib4295204310382024-04-09
hmonroe/lean4-logic234340002024-03-05
iehality/lean4-logic10010002024-03-02
hmonroe/mathlib4990002023-11-25
hmonroe/lean4-logic660002023-12-05
hmonroe/fp-lean440002024-01-29
hmonroe/lean4440002024-01-18
hmonroe/theorem_proving_in_lean4440002023-12-19
leanprover/vscode-lean4303002023-12-03
leanprover/doc-gen4301022024-01-06
hmonroe/leanprover-community.github.io330002023-12-16
hmonroe/mathematics_in_lean_source330002023-11-28
leanprover-community/NNG4202002023-11-18
leanprover-community/leanprover-community.github.io202002023-12-16
leanprover/fp-lean201102024-01-29
leanprover/theorem_proving_in_lean4202002023-12-18
avigad/mathematics_in_lean_source202002023-11-26
leanprover/leanprover.github.io201012024-01-10
leanprover/lean4101002023-12-17
hmonroe/doc-gen4110002024-01-05
hmonroe/mathematics_in_lean110002023-11-18
hmonroe/leanprover.github.io110002024-01-06
ImperialCollegeLondon/natural_number_game101002023-11-18
lean-forward/cap_set_problem101002023-11-18
hmonroe/vscode-lean4110002023-12-03
hmonroe/NNG4110002023-11-18
leanprover-community/mathlib000002023-12-01
leanprover-community/mathematics_in_lean000002023-11-18

Works with

People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone

ContributorShared reposRepositories in common
david-christiansen9
leanprover/doc-gen4leanprover-community/mathlib4hmonroe/theorem_proving_in_lean4leanprover/fp-lean+5
Seasawher7
leanprover/doc-gen4leanprover-community/mathlib4leanprover/fp-leanavigad/mathematics_in_lean_source+3
eric-wieser7
leanprover/doc-gen4leanprover-community/mathlib4avigad/mathematics_in_lean_sourceleanprover/theorem_proving_in_lean4+3
fpvandoorn7
leanprover/doc-gen4leanprover-community/mathlib4leanprover/leanprover.github.ioavigad/mathematics_in_lean_source+3
kbuzzard7
leanprover/doc-gen4leanprover-community/mathlib4leanprover-community/NNG4ImperialCollegeLondon/natural_number_game+3
mhuisi7
leanprover/doc-gen4leanprover-community/mathlib4avigad/mathematics_in_lean_sourceleanprover/theorem_proving_in_lean4+3
semorrison7
leanprover/doc-gen4leanprover-community/mathlib4leanprover/leanprover.github.ioavigad/mathematics_in_lean_source+3
Kha6
leanprover-community/mathlib4leanprover/leanprover.github.ioleanprover/theorem_proving_in_lean4leanprover/vscode-lean4+2
Ruben-VandeVelde6
leanprover/doc-gen4leanprover-community/mathlib4leanprover/fp-leanavigad/mathematics_in_lean_source+2
b-mehta6
leanprover/doc-gen4leanprover-community/mathlib4avigad/mathematics_in_lean_sourceleanprover/vscode-lean4+2
bryangingechen6
leanprover/doc-gen4leanprover-community/mathlib4leanprover-community/NNG4leanprover/vscode-lean4+2
kmill6
leanprover/doc-gen4leanprover-community/mathlib4avigad/mathematics_in_lean_sourceleanprover/vscode-lean4+2
nomeata6
leanprover/doc-gen4leanprover-community/mathlib4leanprover/theorem_proving_in_lean4leanprover/vscode-lean4+2
pitmonticone6
leanprover/doc-gen4leanprover-community/mathlib4leanprover-community/NNG4leanprover/leanprover.github.io+2
BoltonBailey5
leanprover/doc-gen4leanprover-community/mathlib4leanprover/theorem_proving_in_lean4leanprover-community/leanprover-community.github.io+1
Garmelon5
leanprover/doc-gen4leanprover-community/mathlib4leanprover/fp-leanleanprover-community/leanprover-community.github.io+1
JiechengZhao5
leanprover-community/mathlib4leanprover-community/NNG4leanprover/fp-leanleanprover/theorem_proving_in_lean4+1
Julian5
leanprover-community/mathlib4leanprover/leanprover.github.ioleanprover/vscode-lean4leanprover-community/leanprover-community.github.io+1
Komyyy5
leanprover/doc-gen4leanprover-community/mathlib4leanprover/vscode-lean4leanprover-community/leanprover-community.github.io+1
PatrickMassot5
leanprover-community/mathlib4avigad/mathematics_in_lean_sourceleanprover/vscode-lean4leanprover-community/leanprover-community.github.io+1
TwoFX5
leanprover/doc-gen4leanprover-community/mathlib4leanprover/vscode-lean4leanprover-community/leanprover-community.github.io+1
Vtec2345
leanprover/doc-gen4leanprover-community/mathlib4leanprover/vscode-lean4leanprover/lean4+1
alreadydone5
leanprover/doc-gen4leanprover-community/mathlib4avigad/mathematics_in_lean_sourceleanprover/vscode-lean4+1
digama05
leanprover/doc-gen4leanprover-community/mathlib4leanprover/vscode-lean4leanprover-community/leanprover-community.github.io+1
hargoniX5
leanprover/doc-gen4leanprover-community/mathlib4leanprover/vscode-lean4leanprover-community/leanprover-community.github.io+1

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.