openai / lean-gym
File Change Frequency

File change frequency (churn) shows the distribution of file updates (days with at least one commit).

Overview
File Change Frequency Overall
  • There are 13 files with 1,382 lines of code.
    • 0 files changed more than 100 times (0 lines of code)
    • 0 files changed 51-100 times (0 lines of code)
    • 2 files changed 21-50 times (510 lines of code)
    • 4 files changed 6-20 times (196 lines of code)
    • 7 files changed 1-5 times (676 lines of code)
0% | 0% | 36% | 14% | 48%
Legend:
101+
51-100
21-50
6-20
1-5

explore: grouped by folders | grouped by update frequency | data
Contributors Count Frequency Overall
  • There are 13 files with 1,382 lines of code.
    • 0 files changed by more than 25 contributors (0 lines of code)
    • 0 files changed by 11-25 contributors (0 lines of code)
    • 1 file changed by 6-10 contributors (502 lines of code)
    • 9 files changed by 2-5 contributors (568 lines of code)
    • 3 files changed by 1 contributor (312 lines of code)
0% | 0% | 36% | 41% | 22%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
lean, sh, toml, txt, gitignore, md, json
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
lean0% | 0% | 36% | 13% | 49%
toml0% | 0% | 34% | 65% | 0%
File Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
src0% | 0% | 36% | 13% | 49%
ROOT0% | 0% | 34% | 65% | 0%
Most Frequently Changed Files (Top 13)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
lean
repl.lean
in src
 502 - 2021-05-21 2022-04-12 31 8 spolu@openai.com 765874234@qq.com
8 - 2021-06-01 2022-02-17 22 5 spolu@openai.com spolu@openai.com
lean
tactic.lean
in src/util
 130 - 2021-05-21 2022-02-16 16 5 spolu@openai.com dselsam@openai.com
8 - 2021-05-24 2022-02-17 14 3 spolu@openai.com spolu@openai.com
lean
io.lean
in src/util
 51 - 2021-05-21 2022-02-17 13 4 spolu@openai.com spolu@openai.com
7 - 2021-05-28 2022-02-17 8 2 spolu@openai.com spolu@openai.com
lean
filter_decls.lean
in src/tools
 52 - 2021-05-27 2022-02-16 4 2 spolu@openai.com dselsam@openai.com
lean
shrink_proof.lean
in src/tools
 86 - 2022-02-04 2022-02-16 4 2 dselsam@openai.com spolu@openai.com
lean
try_finish.lean
in src/tools
 28 - 2022-02-15 2022-02-17 3 2 dselsam@openai.com spolu@openai.com
lean
table.lean
in src/basic
 198 - 2021-05-24 2022-02-04 3 2 spolu@openai.com dselsam@openai.com
lean
util.lean
in src/util
 41 - 2022-02-05 2022-02-07 2 1 spolu@openai.com spolu@openai.com
lean
control.lean
in src/basic
 132 - 2022-02-05 2022-02-07 2 1 spolu@openai.com spolu@openai.com
lean
list.lean
in src/basic
 139 - 2021-05-24 2021-05-25 2 1 spolu@openai.com spolu@openai.com
Files With Most Contributors (Top 13)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
lean
repl.lean
in src
 502 - 2021-05-21 2022-04-12 31 8 spolu@openai.com 765874234@qq.com
8 - 2021-06-01 2022-02-17 22 5 spolu@openai.com spolu@openai.com
lean
tactic.lean
in src/util
 130 - 2021-05-21 2022-02-16 16 5 spolu@openai.com dselsam@openai.com
lean
io.lean
in src/util
 51 - 2021-05-21 2022-02-17 13 4 spolu@openai.com spolu@openai.com
8 - 2021-05-24 2022-02-17 14 3 spolu@openai.com spolu@openai.com
7 - 2021-05-28 2022-02-17 8 2 spolu@openai.com spolu@openai.com
lean
filter_decls.lean
in src/tools
 52 - 2021-05-27 2022-02-16 4 2 spolu@openai.com dselsam@openai.com
lean
shrink_proof.lean
in src/tools
 86 - 2022-02-04 2022-02-16 4 2 dselsam@openai.com spolu@openai.com
lean
try_finish.lean
in src/tools
 28 - 2022-02-15 2022-02-17 3 2 dselsam@openai.com spolu@openai.com
lean
table.lean
in src/basic
 198 - 2021-05-24 2022-02-04 3 2 spolu@openai.com dselsam@openai.com
lean
util.lean
in src/util
 41 - 2022-02-05 2022-02-07 2 1 spolu@openai.com spolu@openai.com
lean
list.lean
in src/basic
 139 - 2021-05-24 2021-05-25 2 1 spolu@openai.com spolu@openai.com
lean
control.lean
in src/basic
 132 - 2022-02-05 2022-02-07 2 1 spolu@openai.com spolu@openai.com
Files With Least Contributors (Top 13)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
lean
list.lean
in src/basic
 139 - 2021-05-24 2021-05-25 2 1 spolu@openai.com spolu@openai.com
lean
control.lean
in src/basic
 132 - 2022-02-05 2022-02-07 2 1 spolu@openai.com spolu@openai.com
lean
util.lean
in src/util
 41 - 2022-02-05 2022-02-07 2 1 spolu@openai.com spolu@openai.com
lean
table.lean
in src/basic
 198 - 2021-05-24 2022-02-04 3 2 spolu@openai.com dselsam@openai.com
lean
shrink_proof.lean
in src/tools
 86 - 2022-02-04 2022-02-16 4 2 dselsam@openai.com spolu@openai.com
lean
filter_decls.lean
in src/tools
 52 - 2021-05-27 2022-02-16 4 2 spolu@openai.com dselsam@openai.com
lean
try_finish.lean
in src/tools
 28 - 2022-02-15 2022-02-17 3 2 dselsam@openai.com spolu@openai.com
7 - 2021-05-28 2022-02-17 8 2 spolu@openai.com spolu@openai.com
8 - 2021-05-24 2022-02-17 14 3 spolu@openai.com spolu@openai.com
lean
io.lean
in src/util
 51 - 2021-05-21 2022-02-17 13 4 spolu@openai.com spolu@openai.com
lean
tactic.lean
in src/util
 130 - 2021-05-21 2022-02-16 16 5 spolu@openai.com dselsam@openai.com
8 - 2021-06-01 2022-02-17 22 5 spolu@openai.com spolu@openai.com
lean
repl.lean
in src
 502 - 2021-05-21 2022-04-12 31 8 spolu@openai.com 765874234@qq.com
Correlations

File Size vs. Number of Changes: 13 points

src/repl.lean x: 502 lines of code y: 31 # changes src/tools/try_finish.lean x: 28 lines of code y: 3 # changes src/util/io.lean x: 51 lines of code y: 13 # changes leanpkg.toml x: 8 lines of code y: 14 # changes leanpkg_mathlib.toml x: 7 lines of code y: 8 # changes leanpkg_miniF2F.toml x: 8 lines of code y: 22 # changes src/tools/filter_decls.lean x: 52 lines of code y: 4 # changes src/tools/shrink_proof.lean x: 86 lines of code y: 4 # changes src/util/tactic.lean x: 130 lines of code y: 16 # changes src/basic/control.lean x: 132 lines of code y: 2 # changes src/util/util.lean x: 41 lines of code y: 2 # changes src/basic/table.lean x: 198 lines of code y: 3 # changes src/basic/list.lean x: 139 lines of code y: 2 # changes
31.0
# changes
  min: 2.0
  average: 9.54
  25th percentile: 2.5
  median: 4.0
  75th percentile: 15.0
  max: 31.0
0 502.0
lines of code
min: 7.0 | average: 106.31 | 25th percentile: 18.0 | median: 52.0 | 75th percentile: 135.5 | max: 502.0

Number of Contributors vs. Number of Changes: 13 points

src/repl.lean x: 8 # contributors y: 31 # changes src/tools/try_finish.lean x: 2 # contributors y: 3 # changes src/util/io.lean x: 4 # contributors y: 13 # changes leanpkg.toml x: 3 # contributors y: 14 # changes leanpkg_mathlib.toml x: 2 # contributors y: 8 # changes leanpkg_miniF2F.toml x: 5 # contributors y: 22 # changes src/tools/filter_decls.lean x: 2 # contributors y: 4 # changes src/util/tactic.lean x: 5 # contributors y: 16 # changes src/basic/control.lean x: 1 # contributors y: 2 # changes
31.0
# changes
  min: 2.0
  average: 9.54
  25th percentile: 2.5
  median: 4.0
  75th percentile: 15.0
  max: 31.0
0 8.0
# contributors
min: 1.0 | average: 2.92 | 25th percentile: 1.5 | median: 2.0 | 75th percentile: 4.5 | max: 8.0

Number of Contributors vs. File Size: 13 points

src/repl.lean x: 8 # contributors y: 502 lines of code src/tools/try_finish.lean x: 2 # contributors y: 28 lines of code src/util/io.lean x: 4 # contributors y: 51 lines of code leanpkg.toml x: 3 # contributors y: 8 lines of code leanpkg_mathlib.toml x: 2 # contributors y: 7 lines of code leanpkg_miniF2F.toml x: 5 # contributors y: 8 lines of code src/tools/filter_decls.lean x: 2 # contributors y: 52 lines of code src/tools/shrink_proof.lean x: 2 # contributors y: 86 lines of code src/util/tactic.lean x: 5 # contributors y: 130 lines of code src/basic/control.lean x: 1 # contributors y: 132 lines of code src/util/util.lean x: 1 # contributors y: 41 lines of code src/basic/table.lean x: 2 # contributors y: 198 lines of code src/basic/list.lean x: 1 # contributors y: 139 lines of code
502.0
lines of code
  min: 7.0
  average: 106.31
  25th percentile: 18.0
  median: 52.0
  75th percentile: 135.5
  max: 502.0
0 8.0
# contributors
min: 1.0 | average: 2.92 | 25th percentile: 1.5 | median: 2.0 | 75th percentile: 4.5 | max: 8.0