2022-03-19 | Christian Urban | isar proofs | file | diff | annotate |
2022-03-19 | Christian Urban | isarfied one proof | file | diff | annotate |
2022-03-15 | Chengsong | finiteness | file | diff | annotate |
2022-03-12 | Chengsong | haha | file | diff | annotate |
2022-03-12 | Chengsong | more | file | diff | annotate |
2022-03-11 | Chengsong | hi | file | diff | annotate |
2022-03-11 | Chengsong | closedformbounds | file | diff | annotate |
2022-03-10 | Chengsong | before repair | file | diff | annotate |
2022-03-10 | Chengsong | closedforms | file | diff | annotate |
2022-03-09 | Chengsong | restructured sizebound proof | file | diff | annotate |