Def NFA.accepts

Modification history

2023-07-26 09:26

Mathlib/Computability/NFA.lean

chore: fix some `Set` defeq abuse, golf (#6114) …

Modified NFA.accepts View on Github →

2023-02-18 15:40

Mathlib/Computability/NFA.lean

feat: port/Computability.NFA (#2338) …

Added NFA.accepts View on Github →