Default branch

main 0f1e85c853 · Prove injectivity of Pair and Lambdas · Updated 2025-01-10 13:31:58 -05:00

ZIP  TAR.GZ

Branches

cred 2de1e5fa74 · Recover diamond property · Updated 2025-01-12 23:49:31 -05:00    yiyunliu	0 17	Compare	ZIP  TAR.GZ
commute-rules 7178a50026 · bad · Updated 2025-01-12 18:21:26 -05:00    yiyunliu	0 8	Compare	ZIP  TAR.GZ
boolean-nojunk 6d9ed23de9 · Add the boolean extension without junk rules · Updated 2025-01-11 00:17:04 -05:00    yiyunliu	0 4	Compare	ZIP  TAR.GZ
boolean d0760cd9db · Stuck at commutativity (trouble with if pair) · Updated 2025-01-11 00:07:30 -05:00    yiyunliu	0 4	Compare	ZIP  TAR.GZ
norm 0f1e85c853 · Prove injectivity of Pair and Lambdas · Updated 2025-01-10 13:31:58 -05:00    yiyunliu	0 0	Included	ZIP  TAR.GZ
norm-take3 489021c3e3 · Add provs_par_inv · Updated 2025-01-05 00:20:39 -05:00    yiyunliu	10 1	Compare	ZIP  TAR.GZ
erase 36e5bb5add · doesn't work · Updated 2025-01-04 19:55:23 -05:00    yiyunliu	14 1	Compare	ZIP  TAR.GZ
normalization-2 d8e040b2a6 · Save · Updated 2025-01-04 19:26:18 -05:00    yiyunliu	15 5	Compare	ZIP  TAR.GZ
norm-take2 ee7be7584c · Remove unnecessary usage of Equations · Updated 2025-01-04 16:56:21 -05:00    yiyunliu	14 0	Included	ZIP  TAR.GZ
normalization 7ffb8a912d · Add some todos · Updated 2025-01-04 01:48:31 -05:00    yiyunliu	15 4	Compare	ZIP  TAR.GZ
sigma-type 9a52ab334f · Finish all cases · Updated 2024-12-31 00:04:20 -05:00    yiyunliu	15 0	Included	ZIP  TAR.GZ
master a9de3013c9 · Revise the par reduction relation · Updated 2024-12-20 16:26:32 -05:00    yiyunliu	74 1	Compare	ZIP  TAR.GZ