Reservoir
No results found
All Packages
Regex
A PCRE2 compatible regular expression engine written in Lean 4.
Readme
Versions (5)
Dependencies (2)
Displaying
1-2
of
2
dependencies of
Regex
Sort by
Require Order
UnicodeBasic
6c260d5
batteries
021e272
1
20