openai / lean-gym - File Age & Freshness

File age measurements show the distribution of file ages (days since the first commit) and the file freshness (days since the latest commit).

Summary

Number of files: 13
Daily file updates (only one update per file and date counted): 37
First update: 2021-05-21
Latest update: 2022-04-12
Days between first and latest update: 327 (46 weeks, estimated 230 working days)
Active days (at least one file change): 48
Data:

Organized per file

File Change History Overall

File Age Distribution Overall

Days since first update

There are 13 files with 1,382 lines of code in files.

13 files that are 366+ days old (1,382 lines of code)
0 files that are 181-365 days old (0 lines of code)
0 files that are 91-180 days old (0 lines of code)
0 files that are 31-90 days old (0 lines of code)
0 files that are 1-30 days old (0 lines of code)

Legend:

366+

181-365

91-180

31-90

1-30

explore: grouped by folders | grouped by age

File Freshness Distribution Overall

Days since last update

There are 13 files with 1,382 lines of code in files.

13 files have been last changed 366+ days ago (1,382 lines of code)
0 files have been last changed 181-365 days ago (0 lines of code)
0 files have been last changed 91-180 days ago (0 lines of code)
0 files have been last changed 31-90 days ago (0 lines of code)
0 files have been last changed 1-30 days ago (0 lines of code)

Legend:

366+

181-365

91-180

31-90

1-30

explore: grouped by folders | grouped by freshness

File Change History per File Extension

lean, sh, toml, txt, gitignore, md, json

File Age Distribution per Extension

Days since first update

366+

181-365

91-180

31-90

1-30

File Freshness Distribution per Extension

Days since last update

366+

181-365

91-180

31-90

1-30

File Change History per Logical Decomposition

primary

primary (file age distribution)

Days since first update

366+

181-365

91-180

31-90

1-30

primary (file freshness distribution)

Days since last update

366+

181-365

91-180

31-90

1-30

Oldest Files (Top 13)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first contributor	latest contributor
lean repl.lean in src	502	-	2021-05-21	2022-04-12	31	8	spolu@openai.com	765874234@qq.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
lean table.lean in src/basic	198	-	2021-05-24	2022-02-04	3	2	spolu@openai.com	dselsam@openai.com
lean list.lean in src/basic	139	-	2021-05-24	2021-05-25	2	1	spolu@openai.com	spolu@openai.com
leanpkg.toml in root	8	-	2021-05-24	2022-02-17	14	3	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
leanpkg_mathlib.toml in root	7	-	2021-05-28	2022-02-17	8	2	spolu@openai.com	spolu@openai.com
leanpkg_miniF2F.toml in root	8	-	2021-06-01	2022-02-17	22	5	spolu@openai.com	spolu@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 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 try_finish.lean in src/tools	28	-	2022-02-15	2022-02-17	3	2	dselsam@openai.com	spolu@openai.com

Files Not Recently Changed (Top 13)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first 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 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 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 tactic.lean in src/util	130	-	2021-05-21	2022-02-16	16	5	spolu@openai.com	dselsam@openai.com
leanpkg_mathlib.toml in root	7	-	2021-05-28	2022-02-17	8	2	spolu@openai.com	spolu@openai.com
leanpkg_miniF2F.toml in root	8	-	2021-06-01	2022-02-17	22	5	spolu@openai.com	spolu@openai.com
leanpkg.toml in root	8	-	2021-05-24	2022-02-17	14	3	spolu@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 io.lean in src/util	51	-	2021-05-21	2022-02-17	13	4	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

Most Recently Created Files (Top 13)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first contributor	latest contributor
lean try_finish.lean in src/tools	28	-	2022-02-15	2022-02-17	3	2	dselsam@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 shrink_proof.lean in src/tools	86	-	2022-02-04	2022-02-16	4	2	dselsam@openai.com	spolu@openai.com
leanpkg_miniF2F.toml in root	8	-	2021-06-01	2022-02-17	22	5	spolu@openai.com	spolu@openai.com
leanpkg_mathlib.toml in root	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 table.lean in src/basic	198	-	2021-05-24	2022-02-04	3	2	spolu@openai.com	dselsam@openai.com
lean list.lean in src/basic	139	-	2021-05-24	2021-05-25	2	1	spolu@openai.com	spolu@openai.com
leanpkg.toml in root	8	-	2021-05-24	2022-02-17	14	3	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
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

Most Recently Changed Files (Top 13)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first contributor	latest contributor
lean repl.lean in src	502	-	2021-05-21	2022-04-12	31	8	spolu@openai.com	765874234@qq.com
lean io.lean in src/util	51	-	2021-05-21	2022-02-17	13	4	spolu@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
leanpkg.toml in root	8	-	2021-05-24	2022-02-17	14	3	spolu@openai.com	spolu@openai.com
leanpkg_miniF2F.toml in root	8	-	2021-06-01	2022-02-17	22	5	spolu@openai.com	spolu@openai.com
leanpkg_mathlib.toml in root	7	-	2021-05-28	2022-02-17	8	2	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 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 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 list.lean in src/basic	139	-	2021-05-24	2021-05-25	2	1	spolu@openai.com	spolu@openai.com