log

age author description
2020-03-09 ryokka fix default tip
2020-02-17 ryokka fix poster
2020-02-17 ryokka fix poster
2020-02-14 ryokka create poster-mm
2020-02-14 ryokka fix paper
2020-02-11 ryokka fix slide
2020-02-10 ryokka fix paper, slide
2020-02-10 ryokka update abstract_eng
2020-02-10 ryokka add hoare figure
2020-02-08 ryokka add slide and slide-mindmap
2020-02-07 ryokka fix cbc_agda, cbc_hoare and Conclusion.tex
2020-02-06 ryokka fix hoare.tex
2020-02-06 ryokka fix agda.tex
2020-02-04 ryokka modify
2020-02-03 ryokka fix, and add mindmap->pdf
2020-01-29 ryokka fix chapter hoare
2020-01-27 ryokka fix
2020-01-27 ryokka add code, figure. and paper fix content
2020-01-16 ryokka fix
2020-01-02 ryokka Initialize