Reservoir
No results found
All Packages
LeanSAT
This package provides an interface and foundation for verified SAT reasoning
Readme
Versions (1)
Dependents (1)
Displaying
1-1
of
1
versions of
LeanSAT
Sort by
Date
Not a part of any version track.
b83b5d8
a month ago
Released on August 29, 2024 at 8:20:56AM
Commit b83b5d8 builds on its old leanprover/lean4:nightly-2024-08-02
nightly-2024-08-02
52.3 MB
Build archive size: 52265392 bytes.
1
20