|
|
2fa36dc985
|
[TI] Compact: Fixes
|
2025-12-10 13:58:33 +01:00 |
|
|
|
d3a1df6a06
|
[TI] Compact: Add another result
|
2025-12-10 10:18:00 +01:00 |
|
|
|
7d172e5cd6
|
[TI] Recompile
|
2025-12-10 10:17:46 +01:00 |
|
|
|
4def527709
|
[README] Update
|
2025-12-10 09:55:36 +01:00 |
|
|
|
8345d1f456
|
[TI] Complete rename
|
2025-12-10 09:13:50 +01:00 |
|
RobinB27
|
3dd2195f6a
|
[TI] rename
|
2025-12-09 18:14:57 +01:00 |
|
RobinB27
|
afa27510fd
|
[TI] Grammar
|
2025-12-09 18:11:27 +01:00 |
|
|
|
1c8dac60fe
|
[TI] Start grammars
|
2025-12-09 11:54:17 +01:00 |
|
|
|
6012261f77
|
[TI] Compact: Almost complete
|
2025-12-09 10:58:20 +01:00 |
|
|
|
fc3e3ea5f0
|
[TI] Fixes
|
2025-12-09 09:06:51 +01:00 |
|
|
|
833a8b5c5d
|
[TI] Compact: Start NP-completeness
|
2025-12-08 10:14:29 +01:00 |
|
RobinB27
|
c9af05ed2c
|
[TI] add ti-formulary
|
2025-12-07 18:28:18 +01:00 |
|
|
|
14070f6839
|
[TI] Compact: Basically done up to (including) 6.5
|
2025-12-06 14:44:10 +01:00 |
|
|
|
5c7d4762a1
|
[TI] Fix errors
|
2025-12-06 12:25:43 +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 |
|
|
|
da96fbdb48
|
[TI] Fix error
|
2025-12-03 16:57:09 +01:00 |
|
|
|
7e4fa44539
|
[TI] Compact: Start
|
2025-12-02 17:15:04 +01:00 |
|
|
|
b6ddb83224
|
[TI] Catch up
|
2025-12-02 10:16:14 +01:00 |
|
|
|
7ec73cd489
|
[NumCS] Prepare next chapter
|
2025-12-01 08:44:11 +01:00 |
|
|
|
2f27219526
|
[TI] Fix error
|
2025-11-28 15:18:50 +01:00 |
|
|
|
68ee2ec327
|
[TI] Almost catch up
|
2025-11-26 16:44:51 +01:00 |
|
|
|
30f9d722df
|
[TI] Finish class NP, start NP completeness
|
2025-11-26 15:28:24 +01:00 |
|
|
|
1525a3e1a1
|
[TI] Start NP class and proof verification section
|
2025-11-25 12:34:44 +01:00 |
|
|
|
b9a0692a68
|
[TI] Prepare next section
|
2025-11-20 10:17:20 +01:00 |
|
|
|
6533d01016
|
[TI] Fix error
|
2025-11-15 12:14:19 +01:00 |
|
|
|
ca39d24145
|
[TI] Catch up and work ahead slightly
|
2025-11-14 16:03:59 +01:00 |
|
|
|
d7c9135c79
|
[TI] Summarized up to (including) 6.3
|
2025-11-14 14:37:15 +01:00 |
|
|
|
fc416d1016
|
[TI] Prepare new chapter
|
2025-11-14 10:32:03 +01:00 |
|
|
|
64d82ef84d
|
[NumCS] Compile
|
2025-11-13 12:12:55 +01:00 |
|
|
|
885c4141b7
|
[NumCS] Done up to Chapter 6.9
|
2025-11-13 12:11:18 +01:00 |
|
RobinB27
|
7574f094bb
|
[NumCS] ++ Ch. 7 draft
|
2025-11-13 11:57:03 +01:00 |
|
|
|
6d631f6aa8
|
[TI] Finished chapter 5 mostly
|
2025-11-12 16:44:30 +01:00 |
|
|
|
e7f5ef77da
|
[NumCS] Almost finish 6.4 and start 6.5
|
2025-11-12 13:26:20 +01:00 |
|
|
|
f2e975ade7
|
[TI] Summarized reduction chapter
|
2025-11-11 16:31:43 +01:00 |
|
|
|
9546b1927f
|
[NumCS] Finish 6.3, prepare 6.4
|
2025-11-11 14:20:23 +01:00 |
|
|
|
5c23befbbb
|
[NumCS] Finish 6.2 and start 6.3
|
2025-11-11 09:40:22 +01:00 |
|
|
|
7b91173804
|
[NumCS] Fix small error
|
2025-11-10 14:43:39 +01:00 |
|
|
|
97caaa59b8
|
[NumCS] Start Chapter 6.1, fix some errors
|
2025-11-10 12:05:10 +01:00 |
|
|
|
9ac7514ab6
|
[TI] Grammar fixes, update to new helpers
|
2025-11-10 07:49:35 +01:00 |
|
|
|
51653841e7
|
[TI] Compact: Clarifications & spelling fixes
|
2025-11-10 07:41:16 +01:00 |
|
|
|
bfd10cc1aa
|
[TI] Compact: Compile
|
2025-11-09 12:17:21 +01:00 |
|
|
|
f317bdefaa
|
[TI] Compact: Fix error
|
2025-11-09 12:17:05 +01:00 |
|
|
|
57d96ac156
|
[TI] Compact: Improve section on Kolmogorov complexity proofs
|
2025-11-09 07:26:49 +01:00 |
|
|
|
cc0ff6d3cd
|
[TI] Compact: Fix spacing
|
2025-11-09 07:14:53 +01:00 |
|
|
|
7f0392be0b
|
[TI] Compact: More notes
|
2025-11-09 07:12:11 +01:00 |
|
|
|
572cbad1c2
|
[TI] Compact: Add some notes
|
2025-11-07 12:18:37 +01:00 |
|
|
|
19ca631705
|
[TI] Compact: Add better explanation
|
2025-11-04 15:57:36 +01:00 |
|
|
|
22b131efd7
|
[TI] Compact: Fix a few errors
|
2025-11-04 15:51:38 +01:00 |
|
|
|
5429ce9bd3
|
[NumCS] Finish up to the end of Chapter 5 minus 5.4
|
2025-11-04 11:41:30 +01:00 |
|
