Mercurial > hg > Members > kono > Proof > automaton
log automaton-in-agda/src/sbconst2.agda @ 392:23db567b4098
age | author | description |
---|---|---|
2023-03-12 | Shinji KONO | fix |
2021-11-25 | Shinji KONO | fix concat dfa |
2021-06-13 | Shinji KONO | fix base automaton-in-agda/src/agda/sbconst2.agda@04d97cd40c63 |