mathlib

1db70a89 - feat(computability/regular_expressions): define regular expressions (#5036)

feat(computability/regular_expressions): define regular expressions (#5036) Very basic definitions for regular expressions Co-authored-by: foxthomson <11833933+foxthomson@users.noreply.github.com>