Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
2019-04-05 | Shinji KONO | fix |
2019-04-05 | Shinji KONO | add coinduction |
2018-12-22 | Shinji KONO | fix derive |
2018-12-22 | Shinji KONO | seprate finite |
2018-12-21 | Shinji KONO | using Fin id |
2018-12-21 | Shinji KONO | list base CFG |
2018-12-21 | Shinji KONO | cfg done |
Loading... |