mathlib
c8bbab49
- style(computability): fix long lines and braces
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
style(computability): fix long lines and braces Fix all style issues
References
#14250 - feat(computability): prove equivalence of NFAs and regular expressions
Author
RussellEmerine
Parents
cc326302
Loading