Regex
A PCRE2 compatible regular expression engine written in Lean 4.
Displaying 1-19 of 19 versions of Regex
Sort by
Date
- Not a part of any version track.
aa3523c23 days agoReleased on October 25, 2025 at 8:44:45AMCommit aa3523c builds on its old leanprover/lean4:v4.24.0v4.24.0158.6 MB Build archive size: 158595447 bytes. - Not a part of any version track.
0dd5476v4.24.0a month agoReleased on October 14, 2025 at 9:58:54AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
d4eff16v4.23.02 months agoReleased on September 15, 2025 at 8:24:26AMCommit d4eff16 builds on its old leanprover/lean4:v4.23.0v4.23.0151.9 MB Build archive size: 151892618 bytes. - Not a part of any version track.
1b32e25v4.22.03 months agoReleased on August 15, 2025 at 10:58:16AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0 - Not a part of any version track.
d391dc1v4.21.05 months agoReleased on July 1, 2025 at 3:17:32PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.21.0 - Not a part of any version track.
adbef91v4.20.05 months agoReleased on June 8, 2025 at 7:48:21AMCommit adbef91 builds on its old leanprover/lean4:v4.20.0v4.20.0142.2 MB Build archive size: 142193657 bytes. - Not a part of any version track.
2b8bcdcv4.19.07 months agoReleased on May 2, 2025 at 10:08:19AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.19.0 - Not a part of any version track.
580858dv4.18.07 months agoReleased on April 4, 2025 at 2:53:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0 - Not a part of any version track.
b20137bv4.17.08 months agoReleased on March 28, 2025 at 9:02:23AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.17.0 - Not a part of any version track.
7bac1a6v4.16.09 months agoReleased on February 4, 2025 at 4:04:55PMCommit 7bac1a6 builds on its old leanprover/lean4:v4.16.0v4.16.0105.2 MB Build archive size: 105212318 bytes. - Not a part of any version track.
abc5260v4.15.09 months agoReleased on February 3, 2025 at 4:50:57PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0 - Not a part of any version track.
9b9c1efv4.14.0a year agoReleased on December 4, 2024 at 2:04:39PMCommit 9b9c1ef builds on its old leanprover/lean4:v4.14.0v4.14.096.1 MB Build archive size: 96055723 bytes. - Not a part of any version track.
b42eb7av4.13.0a year agoReleased on November 15, 2024 at 10:01:12AMCommit b42eb7a builds on its old leanprover/lean4:v4.13.0v4.13.094.6 MB Build archive size: 94556840 bytes. - Not a part of any version track.
0f0754dv4.12.0a year agoReleased on October 4, 2024 at 2:43:59PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
6abac01v4.11.0a year agoReleased on September 2, 2024 at 1:15:55PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.11.0 - Not a part of any version track.
77bbf59v4.10.0a year agoReleased on August 1, 2024 at 12:27:58PMCommit 77bbf59 builds on its old leanprover/lean4:v4.10.0v4.10.088.6 MB Build archive size: 88598746 bytes. - Not a part of any version track.
88dddfav4.9.0a year agoReleased on July 3, 2024 at 1:01:02PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0 - Not a part of any version track.
3ade00bv4.8.0a year agoReleased on June 21, 2024 at 3:45:06PMCommit 3ade00b builds on its old leanprover/lean4:v4.8.0v4.8.0 - Not a part of any version track.
f7c51f1v4.7.02 years agoReleased on May 6, 2024 at 2:07:50PMCommit f7c51f1 builds on its old leanprover/lean4:v4.7.0v4.7.0