openai / miniF2F - 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: 655
Daily file updates (only one update per file and date counted): 2008
First update: 2021-05-04
Latest update: 2022-06-02
Days between first and latest update: 395 (56 weeks, estimated 280 working days)
Active days (at least one file change): 77
Data:

Organized per file

File Change History Overall

File Age Distribution Overall

Days since first update

There are 655 files with 9,979 lines of code in files.

655 files that are 366+ days old (9,979 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 655 files with 9,979 lines of code in files.

655 files have been last changed 366+ days ago (9,979 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

mm, thy, ml, lean, sh, txt, gitignore, md, py, json, toml

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 50)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first contributor	latest contributor
numbertheory-prmdvsneqnsqmodpeq0.mm in metamath/valid	76	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12b-2004-p3.mm in metamath/valid	53	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
induction-seq-mul2pnp1.mm in metamath/valid	51	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
numbertheory-xsqpysqintdenomeq.mm in metamath/valid	46	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12b-2003-p6.mm in metamath/valid	43	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
induction-divisibility-3divnto3m2n.mm in metamath/valid	43	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-31.mm in metamath/valid	40	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
induction-sum-1oktkp1.mm in metamath/valid	40	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
numbertheory-sqmod4in01d.mm in metamath/valid	37	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
induction-ineq-nsqlefactn.mm in metamath/valid	37	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12b-2003-p9.mm in metamath/valid	36	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-sqineq-4bap1lt4bsqpap1sq.mm in metamath/valid	34	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12b-2002-p3.mm in metamath/valid	34	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
induction-sum2kp1npqsqm1.mm in metamath/valid	33	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
induction-divisibility-3div2tooddnp1.mm in metamath/valid	32	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-2varlineareq-xpeeq7-2xpeeq3-eeq11-xeqn4.mm in metamath/valid	31	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12a-2003-p24.mm in metamath/valid	31	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-sqineq-2at2pclta2c2p41pc.mm in metamath/valid	31	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12-2000-p11.mm in metamath/valid	29	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12-2001-p9.mm in metamath/valid	28	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
induction-sum-odd.mm in metamath/valid	28	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12b-2003-p17.mm in metamath/valid	27	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12a-2003-p1.mm in metamath/valid	25	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-sqineq-36azm9asqle36zsq.mm in metamath/valid	25	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
induction-divisibility-9div10tonm1.mm in metamath/valid	25	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-3rootspoly-amdtamctambeqnasqmbpctapcbtdpasqmbpctapcbta.mm in metamath/valid	25	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-192.mm in metamath/valid	23	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-binomnegdiscrineq-10alt28asqp1.mm in metamath/valid	23	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-2complexrootspoly-xsqp49eqxp7itxpn7i.mm in metamath/valid	20	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12-2000-p5.mm in metamath/valid	20	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-2rootsintpoly-am10tap11eqasqpam110.mm in metamath/valid	19	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12-2001-p2.mm in metamath/valid	18	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-manipexpr-apbeq2cceqiacpbceqm2.mm in metamath/valid	16	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
aime-1984-p15.mm in metamath/valid	15	-	2021-05-06	2021-05-11	2	3	spolu@protonmail.com	39208702+dyekuu@users.norep...
mathd-algebra-144.mm in metamath/valid	15	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-manipexpr-2erprsqpesqeqnrpnesq.mm in metamath/valid	14	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-96.mm in metamath/valid	14	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-42.mm in metamath/valid	14	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-13.mm in metamath/valid	14	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-131.mm in metamath/valid	13	-	2021-05-06	2022-04-07	4	3	spolu@protonmail.com	liwenda1990@hotmail.com
amc12b-2002-p11.mm in metamath/valid	13	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-206.mm in metamath/valid	13	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-73.mm in metamath/valid	13	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-11.mm in metamath/valid	12	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-2rootspoly-apatapbeq2asqp2ab.mm in metamath/valid	12	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-110.mm in metamath/valid	12	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12a-2002-p1.mm in metamath/valid	12	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12b-2002-p6.mm in metamath/valid	12	-	2021-05-06	2021-05-11	2	3	spolu@protonmail.com	39208702+dyekuu@users.norep...
mathd-algebra-140.mm in metamath/valid	12	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-126.mm in metamath/valid	12	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com

Files Not Recently Changed (Top 50)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first contributor	latest contributor
amc12a-2002-p12.mm in metamath/valid	6	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-22.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-149.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-24.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-200.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-45.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-30.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-102.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-35.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-132.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-32.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-101.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-84.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-37.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-81.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-10.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-amgm-faxinrrp2msqrt2geq2mxm1div2x.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-198.mm in metamath/valid	7	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-109.mm in metamath/valid	8	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-185.mm in metamath/valid	8	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
numbertheory-sqmod3in01d.mm in metamath/valid	8	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-211.mm in metamath/valid	8	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-182.mm in metamath/valid	8	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-89.mm in metamath/valid	8	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-15.mm in metamath/valid	8	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-67.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-59.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
imo-1990-p3.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-136.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12a-2003-p25.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-48.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-101.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-104.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-110.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-55.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
numbertheory-2dvd4expn.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-35.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
aime-1983-p9.mm in metamath/valid	9	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-13.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-amgm-sumasqdivbsqgeqsumbdiva.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-amgm-prod1toneq1-sum1tongeqn.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-181.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-28.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-214.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
algebra-sqineq-2unitcircatblt1.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-64.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-algebra-116.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-22.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
mathd-numbertheory-43.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com
amc12-2000-p15.mm in metamath/valid	10	-	2021-05-06	2021-05-06	1	2	spolu@protonmail.com	dyekuu@qq.com

Most Recently Created Files (Top 50)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first contributor	latest contributor
thy numbertheory_sumkmulnckeqnmul2pownm1.thy in isabelle/valid	14	-	2022-04-07	2022-04-07	1	2	spolu@protonmail.com	qj213@cam.ac.uk
thy aime_1990_p2.thy in isabelle/valid	11	-	2022-04-07	2022-04-07	1	2	spolu@protonmail.com	qj213@cam.ac.uk
thy mathd_algebra_422.thy in isabelle/valid	25	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy aimeI_2000_p7.thy in isabelle/valid	19	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy imo_1965_p1.thy in isabelle/valid	17	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.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_126.thy in isabelle/valid	16	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_algebra_451.thy in isabelle/valid	16	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_232.thy in isabelle/valid	16	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_algebra_437.thy in isabelle/valid	16	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_42.thy in isabelle/valid	16	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy amc12a_2019_p9.thy in isabelle/valid	15	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_709.thy in isabelle/valid	15	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_668.thy in isabelle/valid	15	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy amc12a_2010_p11.thy in isabelle/valid	14	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy imo_1979_p1.thy in isabelle/valid	14	-	2022-04-05	2022-04-19	4	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy amc12a_2009_p15.thy in isabelle/valid	14	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_algebra_149.thy in isabelle/valid	14	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy algebra_amgm_prod1toneq1_sum1tongeqn.thy in isabelle/valid	14	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_530.thy in isabelle/valid	14	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy numbertheory_nckeqnm1ckpnm1ckm1.thy in isabelle/valid	14	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_algebra_31.thy in isabelle/valid	14	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy aimeII_2020_p6.thy in isabelle/valid	14	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy aime_1994_p4.thy in isabelle/valid	13	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_461.thy in isabelle/valid	13	-	2022-04-05	2022-04-19	4	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_301.thy in isabelle/valid	13	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_algebra_69.thy in isabelle/valid	13	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_algebra_323.thy in isabelle/valid	13	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy amc12b_2021_p21.thy in isabelle/valid	13	-	2022-04-05	2022-04-07	2	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
thy mathd_algebra_393.thy in isabelle/valid	13	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy numbertheory_xsqpysqintdenomeq.thy in isabelle/valid	13	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.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 induction_sum2kp1npqsqm1.thy in isabelle/valid	12	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy amc12a_2020_p22.thy in isabelle/valid	12	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_326.thy in isabelle/valid	12	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_109.thy in isabelle/valid	12	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_690.thy in isabelle/valid	12	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy imo_1993_p5.thy in isabelle/valid	12	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_64.thy in isabelle/valid	11	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_403.thy in isabelle/valid	11	-	2022-04-05	2022-04-19	4	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_211.thy in isabelle/valid	11	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_149.thy in isabelle/valid	11	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_303.thy in isabelle/valid	11	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_466.thy in isabelle/valid	11	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_32.thy in isabelle/valid	11	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_algebra_536.thy in isabelle/valid	11	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_35.thy in isabelle/valid	11	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_algebra_151.thy in isabelle/valid	11	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_algebra_224.thy in isabelle/valid	11	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com

Most Recently Changed Files (Top 50)

File	# lines	# units	created	last modified	# changes (days)	# contributors	first 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 minif2f_import.lean in lean/src	87	-	2021-07-21	2022-05-02	10	4	39208702+dyekuu@users.norep...	spolu@openai.com
leanpkg.toml in root	7	-	2021-06-01	2022-05-02	10	2	spolu@openai.com	spolu@openai.com
thy mathd_algebra_96.thy in isabelle/valid	15	-	2021-06-22	2022-04-30	2	2	liwenda1990@hotmail.com	liwenda1990@hotmail.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 mathd_algebra_482.thy in isabelle/valid	19	-	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 amc12b_2002_p6.thy in isabelle/valid	16	-	2021-06-22	2022-04-19	3	2	liwenda1990@hotmail.com	spolu@protonmail.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 amc12a_2002_p12.thy in isabelle/valid	15	-	2021-06-22	2022-04-19	3	2	liwenda1990@hotmail.com	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_1979_p1.thy in isabelle/valid	14	-	2022-04-05	2022-04-19	4	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_461.thy in isabelle/valid	13	-	2022-04-05	2022-04-19	4	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_257.thy in isabelle/valid	13	-	2022-03-30	2022-04-19	5	3	qj213@cam.ac.uk	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
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_numbertheory_43.thy in isabelle/valid	13	-	2022-03-31	2022-04-19	5	3	qj213@cam.ac.uk	spolu@protonmail.com
thy induction_divisibility_9div10tonm1.thy in isabelle/valid	12	-	2021-06-22	2022-04-19	3	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy numbertheory_2dvd4expn.thy in isabelle/valid	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 mathd_numbertheory_403.thy in isabelle/valid	11	-	2022-04-05	2022-04-19	4	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_132.thy in isabelle/valid	10	-	2022-03-30	2022-04-19	5	3	qj213@cam.ac.uk	spolu@protonmail.com
thy mathd_numbertheory_252.thy in isabelle/valid	10	-	2022-03-31	2022-04-19	5	3	qj213@cam.ac.uk	spolu@protonmail.com
thy mathd_numbertheory_543.thy in isabelle/valid	10	-	2022-04-05	2022-04-19	4	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_numbertheory_169.thy in isabelle/valid	10	-	2022-03-30	2022-04-19	5	3	qj213@cam.ac.uk	spolu@protonmail.com
thy mathd_numbertheory_236.thy in isabelle/valid	10	-	2022-03-30	2022-04-19	5	3	qj213@cam.ac.uk	spolu@protonmail.com
thy mathd_algebra_245.thy in isabelle/valid	36	-	2022-03-30	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy amc12a_2013_p8.thy in isabelle/valid	29	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy mathd_algebra_405.thy in isabelle/valid	27	-	2022-03-31	2022-04-07	3	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
thy mathd_algebra_422.thy in isabelle/valid	25	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy mathd_algebra_132.thy in isabelle/valid	24	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy algebra_sqineq_2unitcircatblt1.thy in isabelle/valid	24	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy mathd_algebra_43.thy in isabelle/valid	22	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy amc12a_2009_p5.thy in isabelle/valid	22	-	2022-03-30	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy imo_1966_p5.thy in isabelle/valid	21	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy aime_1996_p5.thy in isabelle/valid	20	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy mathd_algebra_247.thy in isabelle/valid	20	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy mathd_numbertheory_284.thy in isabelle/valid	20	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy mathd_algebra_181.thy in isabelle/valid	20	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy mathd_algebra_234.thy in isabelle/valid	20	-	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 mathd_algebra_480.thy in isabelle/valid	19	-	2022-03-30	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.com
thy amc12a_2013_p7.thy in isabelle/valid	19	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	liwenda1990@hotmail.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 aimeI_2000_p7.thy in isabelle/valid	19	-	2022-04-05	2022-04-07	2	2	liwenda1990@hotmail.com	spolu@protonmail.com
thy algebra_2rootsintpoly_am10tap11eqasqpam110.thy in isabelle/valid	19	-	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 mathd_numbertheory_405.thy in isabelle/valid	18	-	2022-03-31	2022-04-07	3	3	qj213@cam.ac.uk	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