Mercurial > hg > Members > kono > Proof > automaton1
log nfa.agda @ 10:ef43350ea0e2
age | author | description |
---|---|---|
2020-11-15 | Shinji KONO | ... |
2020-11-15 | Shinji KONO | FindQ |
2020-11-15 | Shinji KONO | subset construction lemma |
2020-11-14 | Shinji KONO | ... |
2020-11-14 | Shinji KONO | ... |
2020-11-14 | Shinji KONO | ... |
2020-11-14 | Shinji KONO | ... |
2020-11-14 | Shinji KONO | ... |
2020-11-14 | Shinji KONO | ntrace |
2020-11-13 | Shinji KONO | ... |
2020-11-12 | Shinji KONO | new automaton in agda |