Reservoir
No results found
All Packages
Regex
A PCRE2 compatible regular expression engine written in Lean 4.
Readme
Versions (5)
Dependencies (2)
Displaying
1-5
of
5
versions of
Regex
Sort by
Date
Not a part of any version track.
9337247
2 months ago
Released on August 18, 2024 at 3:31:03PM
Commit 9337247 builds on its old leanprover/lean4:v4.11.0-rc2
v4.11.0-rc2
90.1 MB
Build archive size: 90099540 bytes.
Not a part of any version track.
77bbf59
v4.10.0
2 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
3 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
3 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
5 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