Skip to content

Update DFA.lean

67b9f74
Select commit
Loading
Failed to load commit list.
Merged

chore: simplify the DFA example #430

Update DFA.lean
67b9f74
Select commit
Loading
Failed to load commit list.