Reservoir
No results found
All Packages
tryAtEachStep
Try a tactic at each step in a Lean proof.
Readme
Versions (1)
Dependents (1)
Displaying
1-1
of
1
versions of
tryAtEachStep
Sort by
Date
Not a part of any version track.
8867874
8 days ago
Released on October 4, 2024 at 12:46:59PM
Commit 8867874 builds on its recent leanprover/lean4:v4.13.0-rc3
v4.13.0-rc3
29.7 MB
Build archive size: 29686257 bytes.
1
20