Skip to content
GitHub Explorer

fangcq/Isabelle-Set

View on GitHub ↗Related repositories →

Soft types for Isabelle - bringing types to the world of set-theory.

active 2023-09-23 → 2024-03-25 (UTC)

Complete coverage28,469 / 28,469 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-13 (UTC)
Events
68
Pushes
54
Pull requests
10
Issues
0
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 185 days from 2023-09-23 to 2024-03-25. Pushes: 54 total, peak 7 in a day. Pull requests: 10 total, peak 2 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 in a day. Stars: 0 total, peak 0 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

ContributorContributionsPushesPRsComments
fangcq474250
kappelmann171250

Recent activity

Latest issues, pull requests and releases

  • Pull request#5fangcq2023-12-11 04:29
  • Pull request#5kappelmann2023-12-09 16:48
  • Pull request#4fangcq2023-11-29 20:25
  • Pull request#4kappelmann2023-11-24 15:58
  • Pull request#3fangcq2023-11-16 20:08
  • Pull request#3kappelmann2023-11-16 19:56
  • Pull request#2fangcq2023-11-08 14:02
  • Pull request#2kappelmann2023-11-02 13:54
  • Pull request#1fangcq2023-10-22 21:26
  • Pull request#1kappelmann2023-10-22 13:46

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.