Def DFA.evalFrom

Modification history

2024-07-14 20:04

Mathlib/Computability/DFA.lean

feat: DFA.acceptsFrom, DFA.map, DFA.equiv (#11372) …

Modified DFA.evalFrom View on Github →

2023-02-16 08:49

Mathlib/Computability/DFA.lean

feat: port Computability.DFA (#2317)

Added DFA.evalFrom View on Github →