Aaron Huber
|
5a18732c08
|
Addressing the deterministic database issue.
|
2022-06-07 10:10:19 -04:00 |
Aaron Huber
|
580e6876fb
|
Fixed lemma 4.8 proof per @atri 030722 comments.
|
2022-03-08 20:26:18 -05:00 |
Aaron Huber
|
ae65ae3815
|
Completed pass on S5 and S6.
|
2022-02-17 10:15:52 -05:00 |
Atri Rudra
|
c17d3e468e
|
Done with my pass
|
2021-09-20 18:16:25 -04:00 |
Atri Rudra
|
d0b2c75d63
|
Done with my pass
|
2021-09-18 01:47:02 -04:00 |
Aaron Huber
|
17b1afb954
|
Finished incorporating @atri write up changes to S2, S4, S5
|
2021-09-15 12:18:44 -04:00 |
Boris Glavic
|
c9cde8f57a
|
updates
|
2021-04-10 13:35:38 -05:00 |
Boris Glavic
|
ab6c53c52e
|
related + conclusions
|
2021-04-08 21:17:57 -05:00 |
Oliver Kennedy
|
13a7cd264d
|
Tweaking S5, and trimming back down to 12
|
2020-12-20 18:38:59 -05:00 |
Atri Rudra
|
5f85cacdca
|
Done with pass on S6+7
|
2020-12-19 23:44:40 -05:00 |
Boris Glavic
|
0dbf75ebba
|
shorten
|
2020-12-19 15:44:18 -06:00 |
Oliver Kennedy
|
5321761acf
|
Trimming about all that I can trim through rephrasing+spacing cheats
|
2020-12-19 14:02:12 -05:00 |
Boris Glavic
|
d8f476002c
|
oncl
|
2020-12-12 10:33:16 -06:00 |
Boris Glavic
|
9e02e98638
|
conclusions
|
2020-12-11 19:29:01 -06:00 |