Mercurial > hg > Members > kono > Proof > automaton
log automaton-in-agda/src/flcagl.agda @ 332:6f3636fbc481
age | author | description |
---|---|---|
2021-11-17 | Shinji KONO | ... |
2021-06-13 | Shinji KONO | fix base automaton-in-agda/src/agda/flcagl.agda@6d84b2c42f40 |