Default branch

9c17ec5cac · Start refactoring to unscoped syntax · Updated 2025-04-01 23:21:39 -04:00

Branches

71b08b83e3 · Finish all cases of type unique except for pair formation · Updated 2025-04-04 01:43:09 -04:00    yiyunliu

0
5

398a18d770 · Finish renaming · Updated 2025-01-24 16:58:35 -05:00    yiyunliu

1
0
Included

1f7460fd11 · Add new syntax for booleans · Updated 2025-01-20 20:42:40 -05:00    yiyunliu

3
0
Included

2de1e5fa74 · Recover diamond property · Updated 2025-01-12 23:49:31 -05:00    yiyunliu

10
17

7178a50026 · bad · Updated 2025-01-12 18:21:26 -05:00    yiyunliu

10
8

6d9ed23de9 · Add the boolean extension without junk rules · Updated 2025-01-11 00:17:04 -05:00    yiyunliu

10
4

d0760cd9db · Stuck at commutativity (trouble with if pair) · Updated 2025-01-11 00:07:30 -05:00    yiyunliu

10
4

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

10
0
Included

489021c3e3 · Add provs_par_inv · Updated 2025-01-05 00:20:39 -05:00    yiyunliu

20
1

36e5bb5add · doesn't work · Updated 2025-01-04 19:55:23 -05:00    yiyunliu

24
1

d8e040b2a6 · Save · Updated 2025-01-04 19:26:18 -05:00    yiyunliu

25
5

ee7be7584c · Remove unnecessary usage of Equations · Updated 2025-01-04 16:56:21 -05:00    yiyunliu

24
0
Included

7ffb8a912d · Add some todos · Updated 2025-01-04 01:48:31 -05:00    yiyunliu

25
4

9a52ab334f · Finish all cases · Updated 2024-12-31 00:04:20 -05:00    yiyunliu

25
0
Included

a9de3013c9 · Revise the par reduction relation · Updated 2024-12-20 16:26:32 -05:00    yiyunliu

84
1