2022-05-08 Christian Urban updated bder ASEQs case
2022-05-08 Chengsong blexer2
2022-05-08 Chengsong thesis section2.2
2022-05-08 Chengsong thesis chapter 2 section 2.4 2.5
2022-05-07 Chengsong thesis chapter2 section 2.4
2022-05-08 Christian Urban added ASEQs version of Blexer
2022-05-06 Chengsong new writing
2022-05-03 Christian Urban fixed a small typo in the Papaer.thy
2022-05-01 Chengsong hahah
2022-05-01 Chengsong sad
2022-05-01 Christian Urban updated the paper
2022-05-01 Christian Urban fixed tiny typo in the paper
2022-04-29 Christian Urban cleaned up
2022-04-29 Christian Urban updated to include the paper
2022-04-28 Christian Urban a fresh directory with cleaned up code
2022-04-25 Chengsong blexer2
2022-04-21 Chengsong done
2022-04-19 Chengsong problem with erase
2022-04-16 Chengsong all done!!!!
2022-04-15 Chengsong almost there
2022-04-15 Chengsong 1sorry left
2022-04-13 Chengsong more sorrys fileld
2022-04-13 Chengsong again starClosedForms
2022-04-13 Chengsong starclosed
2022-04-12 Chengsong central lemma for seqclosedforms
2022-04-09 Chengsong changeto sflat def
2022-04-09 Chengsong some
2022-04-08 Chengsong closedformseq
2022-04-07 Chengsong christian's
2022-04-07 Chengsong a few more
2022-04-04 Chengsong hello
2022-04-03 Chengsong fun
2022-04-01 Chengsong out
2022-04-01 Chengsong hello
2022-03-30 Chengsong identities
2022-03-30 Christian Urban made paper changes after ITP comments
2022-03-29 Chengsong recent
2022-03-28 Chengsong hi
2022-03-27 Chengsong thesis
2022-03-26 Chengsong nowworks?
2022-03-26 Chengsong all electron pics removed
2022-03-25 Chengsong all texrelated
2022-03-24 Chengsong forget
2022-03-24 Chengsong forget
2022-03-24 Chengsong ha
2022-03-23 Christian Urban updated
2022-03-23 Christian Urban updated
2022-03-22 Christian Urban updated
2022-03-22 Christian Urban updated paper
2022-03-22 Christian Urban updated paper
2022-03-22 Christian Urban updated
2022-03-21 Christian Urban updated paper
2022-03-20 Chengsong head
2022-03-20 Chengsong realPhdThesis
2022-03-19 Christian Urban merged
2022-03-19 Christian Urban isar proofs
2022-03-19 Chengsong all
2022-03-19 Christian Urban isarfied one proof
2022-03-15 Chengsong finiteness
2022-03-12 Chengsong haha
2022-03-12 Chengsong more
2022-03-11 Chengsong hi
2022-03-11 Chengsong closedformbounds
2022-03-10 Chengsong before repair
2022-03-10 Chengsong closedforms
2022-03-09 Chengsong restructured sizebound proof
2022-03-08 Chengsong writeupforclosedforms
2022-03-07 Chengsong some changes
2022-03-05 Chengsong 6ct
2022-03-02 Chengsong bonestruct
2022-03-02 Chengsong merged
2022-03-02 Chengsong templateforPhd
2022-03-02 Christian Urban merged (possibly destroyed things?)
2022-03-02 Christian Urban updated
2022-03-01 Chengsong hi
2022-02-21 Chengsong sketch
2022-02-20 Chengsong hi
2022-02-16 Chengsong strong!
2022-02-11 Chengsong hi
2022-02-11 Chengsong i
2022-02-09 Chengsong other
2022-02-09 Chengsong 5ct
2022-02-09 Chengsong ct
2022-02-09 Christian Urban updated
2022-02-09 Christian Urban updated paper
2022-02-09 Christian Urban updated
2022-02-08 Christian Urban updated paper
2022-02-08 Chengsong prf
2022-02-08 Chengsong size
2022-02-07 Christian Urban updated
2022-02-07 Christian Urban merged
2022-02-07 Christian Urban more of the paper
2022-02-06 Chengsong rdersetc.
2022-02-06 Christian Urban more with the paper
2022-02-05 Chengsong exp
2022-02-05 Chengsong blexernew
2022-02-05 Chengsong merge
2022-02-05 Chengsong newDB
2022-02-04 Christian Urban merged
2022-02-04 Christian Urban updated papers
2022-02-04 Chengsong 5ct
2022-02-02 Christian Urban merged
2022-02-02 Christian Urban updated
2022-02-02 Chengsong bound4CT
2022-02-02 Christian Urban updated some of the text and cardinality proof
2022-01-30 Chengsong ha
2022-01-30 Chengsong blexer1 for size bound with strongDB
2022-01-30 Christian Urban more definitions in the paper
2022-01-30 Christian Urban updated
2022-01-29 Christian Urban updated
2022-01-29 Christian Urban added some recent papers
2022-01-28 Christian Urban updated
2022-01-27 Christian Urban updated Sizebound4
2022-01-25 Christian Urban added ITP paper
2022-01-22 Chengsong preserves!
2022-01-22 Chengsong hi
2022-01-22 Christian Urban polished
2022-01-20 Christian Urban simplified version
2022-01-17 Chengsong zre7correct
2022-01-17 Chengsong zre
(0) -120 +120 tip