Reservoir
No results found
All Packages
Regex
A PCRE2 compatible regular expression engine written in Lean 4.
Readme
Versions (9)
Dependencies (2)
Displaying
1-9
of
9
versions of
Regex
Sort by
Date
Not a part of any version track.
9b9c1ef
v4.14.0
16 days ago
Released on December 4, 2024 at 2:04:39PM
Commit 9b9c1ef builds on its recent leanprover/lean4:v4.14.0
v4.14.0
96.1 MB
Build archive size: 96071165 bytes.
Not a part of any version track.
9b9c1ef
v4.14.0
16 days ago
Released on December 4, 2024 at 2:04:39PM
Commit 9b9c1ef builds on its recent leanprover/lean4:v4.14.0
v4.14.0
96.1 MB
Build archive size: 96071165 bytes.
Not a part of any version track.
b42eb7a
v4.13.0
a month ago
Released on November 15, 2024 at 10:01:12AM
Commit b42eb7a builds on its old leanprover/lean4:v4.13.0
v4.13.0
94.6 MB
Build archive size: 94556840 bytes.
Not a part of any version track.
0f0754d
v4.12.0
3 months ago
Released on October 4, 2024 at 2:43:59PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.12.0
Not a part of any version track.
6abac01
v4.11.0
4 months ago
Released on September 2, 2024 at 1:15:55PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.11.0
Not a part of any version track.
77bbf59
v4.10.0
5 months ago
Released on August 1, 2024 at 12:27:58PM
Commit 77bbf59 builds on its old leanprover/lean4:v4.10.0
v4.10.0
88.6 MB
Build archive size: 88598746 bytes.
Not a part of any version track.
88dddfa
v4.9.0
6 months ago
Released on July 3, 2024 at 1:01:02PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.9.0
Not a part of any version track.
3ade00b
v4.8.0
6 months ago
Released on June 21, 2024 at 3:45:06PM
Commit 3ade00b builds on its old leanprover/lean4:v4.8.0
v4.8.0
Not a part of any version track.
f7c51f1
v4.7.0
7 months ago
Released on May 6, 2024 at 2:07:50PM
Commit f7c51f1 builds on its old leanprover/lean4:v4.7.0
v4.7.0
1
20