Thank you for using cauldron.io; it will be shut down on March 20th, after which it will no longer be available. We invite you to explore Bitergia Analytics and also to read about this decision in our blog post, Saying Goodbye to Cauldron.io: A Look Back and a Look Forward. For feedback or discussion about this change, please reach out to Georg Link at georglink@bitergia.com.

lean

Report information

Repositories: 0

Activity

Commits Issues Reviews Questions
Total
Total (Last year)
Year-over-year % % % %

Community

Commit authors Issue submitters Review submitters Question authors
Total
Total (Last year)
Year-over-year % % % %

Performance

Issues Reviews
Median time to close days days
Median time to close (Last year) days days
Year-over-year % %

# Commits

# Lines/commit

# Lines/commit/file

# Issues created

# Issues closed

# Issues open

# Pull/Merge requests created

# Pull/Merge requests closed

# Pull/Merge requests open

# Commits

Last month

Last year

%

Year-over-year

# Lines/commit

Last month

Last year

%

Year-over-year

# Lines/commit/file

Last month

Last year

%

Year-over-year

# Issues created

Last month

Last year

%

Year-over-year

# Issues closed

Last month

Last year

%

Year-over-year

# Pull/Merge requests created

Last month

Last year

%

Year-over-year

# Pull/Merge requests closed

Last month

Last year

%

Year-over-year

# Questions

# Answers

# Active people

Git authors

Issue authors

PRs/MRs submitters

# Onboardings

Git authors

Issue authors

PRs/MRs submitters

# Active people

Git authors

# Onboardings

Git authors

# Active people

Issue authors

# Onboardings

Issue authors

# Active people

PRs/MRs submitters

# Onboardings

PRs/MRs submitters

# People asking

# People answering

Issues

Time open (average)

days

Time open (median)

days

Open issues

Reviews

Time open (average)

days

Time open (median)

days

Open reviews

Time to close (median)

days

Last month

days

Last year

%

Year-over-year

Time open (average)

days

Time open (median)

days

Open issues

Time to close (median)

days

Last month

days

Last year

%

Year-over-year

Time open (average)

days

Time open (median)

days

Open reviews

The following table shows all the commits, issues, reviews and its corresponding number of authors/submitters for all the history of each repository.

Repository Commits Issues Reviews Commits
authors
Issues
submitters
Reviews
submitters
GitHub leanprover/SampCert 733 12 56 9 2 6
GitHub leanprover/SHerLOC 32 1 19 4 1 2
GitHub leanprover/smt2_interface 37 2 7 8 2 4
GitHub leanprover/subverso 85 14 59 4 3 3
GitHub leanprover/super 31 3 6 7 1 5
GitHub leanprover/tc 2 6 2 1 2 2
GitHub leanprover/TenCert 8 0 1 4 0 1
GitHub leanprover/TensorLib 34 0 30 4 0 1
GitHub leanprover/theorem_proving_in_lean 907 20 101 54 14 40
GitHub leanprover/theorem_proving_in_lean4 1152 48 102 86 36 57
GitHub leanprover/tutorial 624 100 115 26 20 26
GitHub leanprover/verso 413 67 230 8 14 7
GitHub leanprover/vscode-lean 915 146 195 45 60 41
GitHub leanprover/vscode-lean4 2470 220 351 72 74 45
GitHub leanprover/vstte2024 45 0 2 3 0 1
GitHub leanprover-community/aesop 1558 68 127 29 22 24
GitHub leanprover-community/archive 449 2 0 4 2 0
GitHub leanprover-community/archive-old 1 0 0 1 0 0
GitHub leanprover-community/azure-scripts 63 2 16 5 1 4
GitHub leanprover-community/batteries 4141 64 1068 95 34 88