Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-06 11:04 1db70a89

View on Github →

feat(computability/regular_expressions): define regular expressions (#5036) Very basic definitions for regular expressions

Estimated changes