2022-07-04 Chengsong more done
2022-07-04 Chengsong more data
2022-07-04 Chengsong data
2022-07-04 Chengsong haha
2022-07-01 Chengsong more changes
2022-06-29 Chengsong hello
2022-06-28 Chengsong more
2022-06-26 Chengsong more
2022-06-24 Chengsong more changes
2022-06-24 Chengsong start of day
2022-06-23 Chengsong modified some proofs of s~>*
2022-06-23 Chengsong more deletion of bsimp related
2022-06-23 Chengsong bsimp def removed
2022-06-23 Chengsong before removing distinctWith
2022-06-23 Chengsong before alternating rewriting relation
Loading...
(0) -300 -100 -15 +15 +100 tip