Regex
A PCRE2 compatible regular expression engine written in Lean 4.
of 15 versions of Regex
1-15Sort by
Date
adbef91
v4.20.0v4.20.0142.2 MBadbef91
v4.20.0v4.20.0142.2 MB2b8bcdc
v4.19.0v4.19.0580858d
v4.18.0v4.18.0b20137b
v4.17.0v4.17.07bac1a6
v4.16.0v4.16.0105.2 MBabc5260
v4.15.0v4.15.09b9c1ef
v4.14.0v4.14.096.1 MBb42eb7a
v4.13.0v4.13.094.6 MB0f0754d
v4.12.0v4.12.06abac01
v4.11.0v4.11.077bbf59
v4.10.0v4.10.088.6 MB88dddfa
v4.9.0v4.9.03ade00b
v4.8.0v4.8.0f7c51f1
v4.7.0v4.7.0