Reservoir
No results found
All Packages
LeanAideTools
Tools, specifically for running tactics in the background, with minimal dependencies
Readme
Versions (2)
Dependencies (2)
Dependents (1)
Displaying
1-2
of
2
versions of
LeanAideTools
Sort by
Date
Not a part of any version track.
7da48d2
19 days ago
Released on September 23, 2024 at 11:08:01AM
Commit 7da48d2 builds on its old leanprover/lean4:v4.11.0
v4.11.0
30.3 MB
Build archive size: 30314428 bytes.
Not a part of any version track.
e027296
v4.11.0
a month ago
Released on September 2, 2024 at 8:00:00AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.11.0
1
20