19 months ago Chengsong more
19 months ago Chengsong overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
19 months ago Chengsong addresses Gerog "N_r meaning and relation with backtracking?" comment
19 months ago Chengsong Addressed Gerog "can't understand 'erase messes with structure'" comment
19 months ago Chengsong finished 4.3.2 section explaining why lemma 11 is too strong
19 months ago Chengsong Fixed some annotated/unannotated a/r notation inconsistencies.
19 months ago Chengsong reordered sections to make chapter 4 more coherent
19 months ago Chengsong updated 4.2 diagram
19 months ago Chengsong more
20 months ago Chengsong more updates in section 4.2 and incorporating Christian comments
20 months ago Chengsong more
20 months ago Chengsong more
20 months ago Chengsong more
20 months ago Chengsong more
Loading...
(0) -300 -100 -14 tip