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