| 2022-03-24 | Chengsong | ha | file | diff | annotate |
| 2022-03-20 | Chengsong | realPhdThesis | file | diff | annotate |
| 2022-03-19 | Chengsong | all | file | diff | annotate |
| 2022-03-15 | Chengsong | finiteness | file | diff | annotate |
| 2022-03-10 | Chengsong | closedforms | file | diff | annotate |
| 2022-03-09 | Chengsong | restructured sizebound proof | file | diff | annotate |
| 2022-03-08 | Chengsong | writeupforclosedforms | file | diff | annotate |