Mercurial > hg > Members > kono > Proof > automaton
log a02/agda/practice-logic.agda @ 252:9fc9e19f2c37
age | author | description |
---|---|---|
2020-12-27 | Shinji KONO | clean up |
2020-03-14 | Shinji KONO | add utm |
2019-10-16 | Shinji KONO | fix graph |
2019-10-15 | Shinji KONO | add |
2019-10-02 | Shinji KONO | fix |