path	# lines of code	# active days	days since first update	days since last update	# commits	# contributors	first updated	last updated	first contributor	last contributor
leanpkg_mathlib.toml	7	8	1418	1153	10	2	2021-05-28	2022-02-17	spolu@openai.com	spolu@openai.com
leanpkg.toml	8	14	1422	1153	20	3	2021-05-24	2022-02-17	spolu@openai.com	spolu@openai.com
leanpkg_miniF2F.toml	8	22	1414	1153	33	5	2021-06-01	2022-02-17	spolu@openai.com	spolu@openai.com
src/tools/try_finish.lean	28	3	1155	1153	5	2	2022-02-15	2022-02-17	dselsam@openai.com	spolu@openai.com
src/tools/filter_decls.lean	52	4	1419	1154	6	2	2021-05-27	2022-02-16	spolu@openai.com	dselsam@openai.com
src/tools/shrink_proof.lean	86	4	1166	1154	6	2	2022-02-04	2022-02-16	dselsam@openai.com	spolu@openai.com
src/repl.lean	502	31	1425	1099	70	8	2021-05-21	2022-04-12	spolu@openai.com	765874234@qq.com
src/util/io.lean	51	13	1425	1153	19	4	2021-05-21	2022-02-17	spolu@openai.com	spolu@openai.com
src/util/util.lean	41	2	1165	1163	2	1	2022-02-05	2022-02-07	spolu@openai.com	spolu@openai.com
src/util/tactic.lean	130	16	1425	1154	32	5	2021-05-21	2022-02-16	spolu@openai.com	dselsam@openai.com
src/basic/table.lean	198	3	1422	1166	3	2	2021-05-24	2022-02-04	spolu@openai.com	dselsam@openai.com
src/basic/list.lean	139	2	1422	1421	2	1	2021-05-24	2021-05-25	spolu@openai.com	spolu@openai.com
src/basic/control.lean	132	2	1165	1163	3	1	2022-02-05	2022-02-07	spolu@openai.com	spolu@openai.com