Reservoir
No results found
All Packages
tryAtEachStep
Try a tactic at each step in a Lean proof.
Readme
Versions (1)
Dependents (3)
Displaying
1-1
of
1
versions of
tryAtEachStep
Sort by
Date
Not a part of any version track.
bd4b85d
9 days ago
Released on March 4, 2025 at 10:28:26PM
Commit bd4b85d builds on its recent leanprover/lean4:v4.18.0-rc1
v4.18.0-rc1
88.0 MB
Build archive size: 88030172 bytes.
1
20