|
|
6012261f77
|
[TI] Compact: Almost complete
|
2025-12-09 10:58:20 +01:00 |
|
|
|
fc3e3ea5f0
|
[TI] Fixes
|
2025-12-09 09:06:51 +01:00 |
|
|
|
3559973e6d
|
[TI] Compact: Finish computability, start complexity
|
2025-12-06 12:25:37 +01:00 |
|
|
|
c656bfa2e7
|
[TI] Compact: Almost finish reductions
|
2025-12-06 10:31:33 +01:00 |
|
|
|
7e4fa44539
|
[TI] Compact: Start
|
2025-12-02 17:15:04 +01:00 |
|
|
|
19ca631705
|
[TI] Compact: Add better explanation
|
2025-11-04 15:57:36 +01:00 |
|
|
|
bbd5959ab8
|
[TI] Compact: Add theorem 5.3
|
2025-11-01 16:29:11 +01:00 |
|
|
|
5db81cb563
|
[TI] Start compact summary
|
2025-10-31 15:41:50 +01:00 |
|
