openai / miniF2F
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 655 files with 9,979 lines of code.
    • 0 files changed more than 100 times (0 lines of code)
    • 0 files changed 51-100 times (0 lines of code)
    • 0 files changed 21-50 times (0 lines of code)
    • 3 files changed 6-20 times (2,226 lines of code)
    • 652 files changed 1-5 times (7,753 lines of code)
0% | 0% | 0% | 22% | 77%
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 655 files with 9,979 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 (2,132 lines of code)
    • 495 files changed by 2-5 contributors (5,737 lines of code)
    • 159 files changed by 1 contributor (2,110 lines of code)
0% | 0% | 21% | 57% | 21%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
mm, thy, ml, lean, sh, txt, gitignore, md, py, json, toml
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
lean0% | 0% | 0% | 100% | 0%
toml0% | 0% | 0% | 100% | 0%
thy0% | 0% | 0% | 0% | 100%
mm0% | 0% | 0% | 0% | 100%
ml0% | 0% | 0% | 0% | 100%
py0% | 0% | 0% | 0% | 100%
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
lean0% | 0% | 0% | 90% | 9%
ROOT0% | 0% | 0% | 100% | 0%
isabelle0% | 0% | 0% | 0% | 100%
metamath0% | 0% | 0% | 0% | 100%
hollight0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 50)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
lean
valid.lean
in lean/src
 2132 - 2021-08-27 2022-06-02 14 6 spolu@openai.com 92208507+marukods@users.nor...
7 - 2021-06-01 2022-05-02 10 2 spolu@openai.com spolu@openai.com
lean
 87 - 2021-07-21 2022-05-02 10 4 39208702+dyekuu@users.norep... spolu@openai.com
thy
 10 - 2022-03-30 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 10 - 2022-03-30 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 10 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 10 - 2022-03-30 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
imo_1974_p5.thy
in isabelle/valid
 12 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 12 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
mathd_numbertheory_43.thy
in isabelle/valid
 13 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 13 - 2022-03-30 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
imo_1987_p6.thy
in isabelle/valid
 15 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
imo_1967_p3.thy
in isabelle/valid
 16 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
mathd_algebra_482.thy
in isabelle/valid
 19 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
mathd_algebra_101.thy
in isabelle/valid
 25 - 2022-03-30 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
ml
mathd-algebra-185.ml
in hollight/valid
 6 - 2021-12-13 2022-04-07 4 4 spolu@protonmail.com liwenda1990@hotmail.com
ml
mathd-algebra-247.ml
in hollight/valid
 7 - 2021-12-13 2022-04-07 4 4 spolu@protonmail.com liwenda1990@hotmail.com
ml
mathd-algebra-131.ml
in hollight/valid
 8 - 2021-12-13 2022-04-07 4 4 spolu@protonmail.com liwenda1990@hotmail.com
thy
 10 - 2022-04-05 2022-04-19 4 2 liwenda1990@hotmail.com spolu@protonmail.com
thy
 11 - 2022-04-05 2022-04-19 4 2 liwenda1990@hotmail.com spolu@protonmail.com
thy
amc12a_2019_p21.thy
in isabelle/valid
 12 - 2022-03-29 2022-04-07 4 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_185.thy
in isabelle/valid
 12 - 2022-03-31 2022-04-07 4 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
aime_1991_p6.thy
in isabelle/valid
 13 - 2022-04-05 2022-04-19 4 2 liwenda1990@hotmail.com spolu@protonmail.com
thy
mathd_algebra_282.thy
in isabelle/valid
 13 - 2022-04-05 2022-04-19 4 2 liwenda1990@hotmail.com spolu@protonmail.com
13 - 2022-03-31 2022-04-07 4 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 13 - 2022-04-05 2022-04-19 4 2 liwenda1990@hotmail.com spolu@protonmail.com
mathd-algebra-131.mm
in metamath/valid
 13 - 2021-05-06 2022-04-07 4 3 spolu@protonmail.com liwenda1990@hotmail.com
amc12a-2013-p8.mm
in metamath/valid
 13 - 2021-08-09 2022-04-07 4 4 39208702+dyekuu@users.norep... liwenda1990@hotmail.com
thy
amc12a_2015_p10.thy
in isabelle/valid
 14 - 2022-03-29 2022-04-07 4 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
imo_1979_p1.thy
in isabelle/valid
 14 - 2022-04-05 2022-04-19 4 2 liwenda1990@hotmail.com spolu@protonmail.com
mathd-algebra-482.mm
in metamath/valid
 14 - 2021-08-09 2022-04-07 4 4 39208702+dyekuu@users.norep... liwenda1990@hotmail.com
thy
imo_1978_p5.thy
in isabelle/valid
 16 - 2022-04-05 2022-04-19 4 2 liwenda1990@hotmail.com spolu@protonmail.com
thy
mathd_numbertheory_13.thy
in isabelle/valid
 18 - 2022-03-30 2022-04-07 4 3 qj213@cam.ac.uk spolu@protonmail.com
thy
amc12a_2008_p8.thy
in isabelle/valid
 19 - 2022-03-29 2022-04-07 4 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_numbertheory_81.thy
in isabelle/valid
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_22.thy
in isabelle/valid
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
amc12a_2009_p2.thy
in isabelle/valid
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_numbertheory_84.thy
in isabelle/valid
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_190.thy
in isabelle/valid
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
10 - 2022-03-30 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_numbertheory_37.thy
in isabelle/valid
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_509.thy
in isabelle/valid
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_numbertheory_30.thy
in isabelle/valid
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 10 - 2022-03-30 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
amc12a_2008_p4.thy
in isabelle/valid
 10 - 2022-03-30 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
Files With Most Contributors (Top 50)
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
valid.lean
in lean/src
 2132 - 2021-08-27 2022-06-02 14 6 spolu@openai.com 92208507+marukods@users.nor...
lean
 87 - 2021-07-21 2022-05-02 10 4 39208702+dyekuu@users.norep... spolu@openai.com
amc12a-2013-p8.mm
in metamath/valid
 13 - 2021-08-09 2022-04-07 4 4 39208702+dyekuu@users.norep... liwenda1990@hotmail.com
mathd-algebra-482.mm
in metamath/valid
 14 - 2021-08-09 2022-04-07 4 4 39208702+dyekuu@users.norep... liwenda1990@hotmail.com
ml
mathd-algebra-247.ml
in hollight/valid
 7 - 2021-12-13 2022-04-07 4 4 spolu@protonmail.com liwenda1990@hotmail.com
ml
mathd-algebra-131.ml
in hollight/valid
 8 - 2021-12-13 2022-04-07 4 4 spolu@protonmail.com liwenda1990@hotmail.com
ml
mathd-algebra-185.ml
in hollight/valid
 6 - 2021-12-13 2022-04-07 4 4 spolu@protonmail.com liwenda1990@hotmail.com
thy
imo_1967_p3.thy
in isabelle/valid
 16 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
mathd_algebra_101.thy
in isabelle/valid
 25 - 2022-03-30 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
imo_1987_p6.thy
in isabelle/valid
 15 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 12 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
imo_1974_p5.thy
in isabelle/valid
 12 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 10 - 2022-03-30 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 10 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
mathd_algebra_482.thy
in isabelle/valid
 19 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 13 - 2022-03-30 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
mathd_numbertheory_43.thy
in isabelle/valid
 13 - 2022-03-31 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 10 - 2022-03-30 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
thy
 10 - 2022-03-30 2022-04-19 5 3 qj213@cam.ac.uk spolu@protonmail.com
mathd-algebra-131.mm
in metamath/valid
 13 - 2021-05-06 2022-04-07 4 3 spolu@protonmail.com liwenda1990@hotmail.com
thy
mathd_numbertheory_13.thy
in isabelle/valid
 18 - 2022-03-30 2022-04-07 4 3 qj213@cam.ac.uk spolu@protonmail.com
thy
amc12a_2008_p8.thy
in isabelle/valid
 19 - 2022-03-29 2022-04-07 4 3 qj213@cam.ac.uk liwenda1990@hotmail.com
13 - 2022-03-31 2022-04-07 4 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_185.thy
in isabelle/valid
 12 - 2022-03-31 2022-04-07 4 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
amc12a_2019_p21.thy
in isabelle/valid
 12 - 2022-03-29 2022-04-07 4 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
amc12a_2015_p10.thy
in isabelle/valid
 14 - 2022-03-29 2022-04-07 4 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_11.thy
in isabelle/valid
 26 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
11 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_159.thy
in isabelle/valid
 19 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 11 - 2022-03-30 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
amc12a_2009_p9.thy
in isabelle/valid
 14 - 2022-03-30 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_206.thy
in isabelle/valid
 16 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
amc12a_2010_p10.thy
in isabelle/valid
 17 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_616.thy
in isabelle/valid
 16 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_10.thy
in isabelle/valid
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
imo_1984_p2.thy
in isabelle/valid
 16 - 2022-03-30 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
aime_1988_p3.thy
in isabelle/valid
 13 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 12 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
aimeI_2001_p3.thy
in isabelle/valid
 16 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 10 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
amc12a_2008_p15.thy
in isabelle/valid
 12 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
11 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_13.thy
in isabelle/valid
 13 - 2022-03-30 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 10 - 2022-03-30 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
imo_1988_p6.thy
in isabelle/valid
 13 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
11 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
imo_1977_p5.thy
in isabelle/valid
 14 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 13 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
mathd_algebra_214.thy
in isabelle/valid
 18 - 2022-03-31 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
thy
 10 - 2022-03-30 2022-04-07 3 3 qj213@cam.ac.uk liwenda1990@hotmail.com
Files With Least Contributors (Top 50)
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
lint_style.py
in lean/scripts
 234 15 2021-06-29 2021-06-29 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
thy
 44 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
mathd-algebra-245.mm
in metamath/valid
 36 - 2021-06-02 2021-06-02 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
thy
amc12a_2003_p24.thy
in isabelle/valid
 35 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
mathd-algebra-159.mm
in metamath/valid
 34 - 2021-06-02 2021-06-02 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
thy
amc12b_2002_p3.thy
in isabelle/valid
 31 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
mathd-algebra-151.mm
in metamath/valid
 28 - 2021-06-02 2021-06-02 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
thy
aime_1983_p9.thy
in isabelle/valid
 24 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
23 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
amc12a_2003_p1.thy
in isabelle/valid
 23 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
amc12b_2003_p17.thy
in isabelle/valid
 22 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
aime-1996-p5.mm
in metamath/valid
 21 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
thy
amc12_2001_p9.thy
in isabelle/valid
 20 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
imo-1966-p5.mm
in metamath/valid
 19 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
mathd-algebra-247.mm
in metamath/valid
 18 - 2021-06-02 2021-06-02 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
imo-1961-p1.mm
in metamath/valid
 18 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
thy
aime_1984_p15.thy
in isabelle/valid
 18 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
mathd-numbertheory-405.mm
in metamath/valid
 17 - 2021-06-11 2021-06-11 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
mathd-algebra-455.mm
in metamath/valid
 17 - 2021-06-02 2021-06-02 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
thy
mathd_algebra_59.thy
in isabelle/valid
 17 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
mathd-numbertheory-232.mm
in metamath/valid
 16 - 2021-06-11 2021-06-14 2 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
amc12a-2020-p13.mm
in metamath/valid
 16 - 2021-06-07 2021-06-07 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
mathd-numbertheory-668.mm
in metamath/valid
 16 - 2021-06-11 2021-06-14 2 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
aimeI-2000-p7.mm
in metamath/valid
 16 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
mathd-algebra-421.mm
in metamath/valid
 16 - 2021-06-02 2021-06-02 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
amc12a-2010-p10.mm
in metamath/valid
 15 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
aimeI-2001-p3.mm
in metamath/valid
 15 - 2021-08-12 2021-08-12 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
thy
amc12a_2002_p21.thy
in isabelle/valid
 15 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
amc12a_2020_p13.thy
in isabelle/valid
 15 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
amc12_2001_p2.thy
in isabelle/valid
 15 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
mathd-algebra-437.mm
in metamath/valid
 14 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
imo-1977-p5.mm
in metamath/valid
 14 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
amc12a-2009-p9.mm
in metamath/valid
 14 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
mathd-algebra-251.mm
in metamath/valid
 14 - 2021-06-02 2021-06-02 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
thy
amc12_2000_p15.thy
in isabelle/valid
 14 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
amc12a_2002_p1.thy
in isabelle/valid
 14 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
amc12_2000_p11.thy
in isabelle/valid
 14 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
amc12a_2003_p25.thy
in isabelle/valid
 14 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
amc12b_2002_p11.thy
in isabelle/valid
 14 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
amc12b_2003_p6.thy
in isabelle/valid
 14 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
imo-1984-p2.mm
in metamath/valid
 13 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
imo-1967-p3.mm
in metamath/valid
 13 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
imo-1974-p5.mm
in metamath/valid
 13 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
aimeII-2020-p6.mm
in metamath/valid
 13 - 2021-08-12 2021-08-12 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
mathd-numbertheory-780.mm
in metamath/valid
 13 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
thy
amc12b_2020_p5.thy
in isabelle/valid
 13 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
amc12b_2003_p9.thy
in isabelle/valid
 13 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
imo_1990_p3.thy
in isabelle/valid
 13 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
thy
mathd_algebra_51.thy
in isabelle/valid
 13 - 2021-06-22 2021-06-22 1 1 liwenda1990@hotmail.com liwenda1990@hotmail.com
mathd-algebra-480.mm
in metamath/valid
 12 - 2021-08-09 2021-08-09 1 1 39208702+dyekuu@users.norep... 39208702+dyekuu@users.norep...
Correlations

File Size vs. Number of Changes: 655 points

lean/src/valid.lean x: 2132 lines of code y: 14 # changes lean/src/minif2f_import.lean x: 87 lines of code y: 10 # changes leanpkg.toml x: 7 lines of code y: 10 # changes isabelle/valid/mathd_algebra_96.thy x: 15 lines of code y: 2 # changes isabelle/valid/aime_1991_p6.thy x: 13 lines of code y: 4 # changes isabelle/valid/amc12a_2002_p12.thy x: 15 lines of code y: 3 # changes isabelle/valid/amc12b_2002_p6.thy x: 16 lines of code y: 3 # changes isabelle/valid/imo_1967_p3.thy x: 16 lines of code y: 5 # changes isabelle/valid/imo_1974_p5.thy x: 12 lines of code y: 5 # changes isabelle/valid/imo_1978_p5.thy x: 16 lines of code y: 4 # changes isabelle/valid/mathd_algebra_101.thy x: 25 lines of code y: 5 # changes isabelle/valid/mathd_numbertheory_132.thy x: 10 lines of code y: 5 # changes isabelle/valid/mathd_numbertheory_403.thy x: 11 lines of code y: 4 # changes isabelle/valid/aime_1990_p2.thy x: 11 lines of code y: 1 # changes isabelle/valid/numbertheory_sumkmulnckeqnmul2pownm1.thy x: 14 lines of code y: 1 # changes hollight/valid/mathd-numbertheory-301.ml x: 5 lines of code y: 2 # changes isabelle/valid/aimeI_2000_p7.thy x: 19 lines of code y: 2 # changes isabelle/valid/amc12a_2010_p22.thy x: 11 lines of code y: 2 # changes isabelle/valid/mathd_algebra_422.thy x: 25 lines of code y: 2 # changes hollight/valid/mathd-algebra-185.ml x: 6 lines of code y: 4 # changes isabelle/valid/aime_1996_p5.thy x: 20 lines of code y: 3 # changes isabelle/valid/algebra_2complexrootspoly_xsqp49eqxp7itxpn7i.thy x: 11 lines of code y: 3 # changes isabelle/valid/algebra_sqineq_2unitcircatblt1.thy x: 24 lines of code y: 3 # changes isabelle/valid/amc12a_2013_p8.thy x: 29 lines of code y: 3 # changes isabelle/valid/mathd_algebra_245.thy x: 36 lines of code y: 3 # changes hollight/valid/aime-1983-p9.ml x: 3 lines of code y: 1 # changes hollight/valid/aime-1984-p15.ml x: 24 lines of code y: 1 # changes hollight/valid/aime-1984-p5.ml x: 6 lines of code y: 1 # changes metamath/valid/aime-1996-p5.mm x: 21 lines of code y: 1 # changes metamath/valid/aimeI-2000-p7.mm x: 16 lines of code y: 1 # changes lean/scripts/lint_style.py x: 234 lines of code y: 1 # changes isabelle/valid/amc12a_2003_p24.thy x: 35 lines of code y: 1 # changes isabelle/valid/amc12b_2002_p3.thy x: 31 lines of code y: 1 # changes isabelle/valid/induction_ineq_nsqlefactn.thy x: 44 lines of code y: 1 # changes metamath/valid/mathd-algebra-151.mm x: 28 lines of code y: 1 # changes metamath/valid/amc12b-2004-p3.mm x: 53 lines of code y: 1 # changes metamath/valid/induction-sum-1oktkp1.mm x: 40 lines of code y: 1 # changes metamath/valid/numbertheory-prmdvsneqnsqmodpeq0.mm x: 76 lines of code y: 1 # changes
14.0
# changes
  min: 1.0
  average: 1.72
  25th percentile: 1.0
  median: 1.0
  75th percentile: 3.0
  max: 14.0
0 2132.0
lines of code
min: 1.0 | average: 15.24 | 25th percentile: 7.0 | median: 11.0 | 75th percentile: 14.0 | max: 2132.0

Number of Contributors vs. Number of Changes: 655 points

lean/src/valid.lean x: 6 # contributors y: 14 # changes lean/src/minif2f_import.lean x: 4 # contributors y: 10 # changes leanpkg.toml x: 2 # contributors y: 10 # changes isabelle/valid/mathd_algebra_96.thy x: 2 # contributors y: 2 # changes isabelle/valid/aime_1991_p6.thy x: 2 # contributors y: 4 # changes isabelle/valid/amc12a_2002_p12.thy x: 2 # contributors y: 3 # changes isabelle/valid/imo_1967_p3.thy x: 3 # contributors y: 5 # changes isabelle/valid/aime_1990_p2.thy x: 2 # contributors y: 1 # changes hollight/valid/mathd-numbertheory-301.ml x: 3 # contributors y: 2 # changes isabelle/valid/mathd_numbertheory_13.thy x: 3 # contributors y: 4 # changes hollight/valid/mathd-algebra-131.ml x: 4 # contributors y: 4 # changes isabelle/valid/aimeI_2001_p3.thy x: 3 # contributors y: 3 # changes metamath/valid/aimeI-2001-p3.mm x: 1 # contributors y: 1 # changes metamath/valid/amc12a-2019-p21.mm x: 1 # contributors y: 2 # changes
14.0
# changes
  min: 1.0
  average: 1.72
  25th percentile: 1.0
  median: 1.0
  75th percentile: 3.0
  max: 14.0
0 6.0
# contributors
min: 1.0 | average: 2.02 | 25th percentile: 2.0 | median: 2.0 | 75th percentile: 3.0 | max: 6.0

Number of Contributors vs. File Size: 655 points

lean/src/valid.lean x: 6 # contributors y: 2132 lines of code lean/src/minif2f_import.lean x: 4 # contributors y: 87 lines of code leanpkg.toml x: 2 # contributors y: 7 lines of code isabelle/valid/mathd_algebra_96.thy x: 2 # contributors y: 15 lines of code isabelle/valid/imo_1967_p3.thy x: 3 # contributors y: 16 lines of code isabelle/valid/mathd_algebra_101.thy x: 3 # contributors y: 25 lines of code hollight/valid/mathd-numbertheory-301.ml x: 3 # contributors y: 5 lines of code isabelle/valid/aimeI_2000_p7.thy x: 2 # contributors y: 19 lines of code hollight/valid/mathd-algebra-131.ml x: 4 # contributors y: 8 lines of code isabelle/valid/amc12a_2013_p8.thy x: 3 # contributors y: 29 lines of code isabelle/valid/mathd_algebra_245.thy x: 3 # contributors y: 36 lines of code metamath/valid/amc12a-2013-p8.mm x: 4 # contributors y: 13 lines of code metamath/valid/aimeI-2001-p3.mm x: 1 # contributors y: 15 lines of code metamath/valid/mathd-algebra-493.mm x: 1 # contributors y: 8 lines of code metamath/valid/aime-1996-p5.mm x: 1 # contributors y: 21 lines of code lean/scripts/lint_style.py x: 1 # contributors y: 234 lines of code isabelle/valid/amc12a_2003_p24.thy x: 1 # contributors y: 35 lines of code isabelle/valid/amc12b_2002_p3.thy x: 1 # contributors y: 31 lines of code isabelle/valid/induction_ineq_nsqlefactn.thy x: 1 # contributors y: 44 lines of code metamath/valid/algebra-2varlineareq-xpeeq7-2xpeeq3-eeq11-xeqn4.mm x: 2 # contributors y: 31 lines of code metamath/valid/algebra-sqineq-4bap1lt4bsqpap1sq.mm x: 2 # contributors y: 34 lines of code metamath/valid/amc12b-2003-p6.mm x: 2 # contributors y: 43 lines of code metamath/valid/amc12b-2004-p3.mm x: 2 # contributors y: 53 lines of code metamath/valid/numbertheory-prmdvsneqnsqmodpeq0.mm x: 2 # contributors y: 76 lines of code
2132.0
lines of code
  min: 1.0
  average: 15.24
  25th percentile: 7.0
  median: 11.0
  75th percentile: 14.0
  max: 2132.0
0 6.0
# contributors
min: 1.0 | average: 2.02 | 25th percentile: 2.0 | median: 2.0 | 75th percentile: 3.0 | max: 6.0