Regex
A PCRE2 compatible regular expression engine written in Lean 4.
Displaying 1-20 of 22 versions of Regex
Sort by
Date
- Not a part of any version track.
1dc9404v4.27.021 days agoReleased on January 25, 2026 at 9:50:01AMCommit 1dc9404 builds on its recent leanprover/lean4:v4.27.0v4.27.0150.5 MB Build archive size: 150516182 bytes. - Not a part of any version track.
1dc9404v4.27.021 days agoReleased on January 25, 2026 at 9:50:01AMCommit 1dc9404 builds on its recent leanprover/lean4:v4.27.0v4.27.0150.5 MB Build archive size: 150516182 bytes. - Not a part of any version track.
d44ad09v4.26.02 months agoReleased on December 13, 2025 at 12:37:55PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.26.0 - Not a part of any version track.
832768bv4.25.03 months agoReleased on November 15, 2025 at 6:41:16PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.0 - Not a part of any version track.
0dd5476v4.24.04 months 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.05 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.06 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.07 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.08 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.09 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.010 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.0a year 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.0a year 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.0a year 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.02 years 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.02 years 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