Reservoir
No results found
All Packages
cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Readme
Versions (1)
Dependents (2)
Displaying
1-1
of
1
versions of
cvc5
Sort by
Date
Not a part of any version track.
8ca855f
11 days ago
Released on December 16, 2024 at 7:54:06AM
Commit 8ca855f builds on its recent leanprover/lean4:v4.14.0
v4.14.0
36.8 MB
Build archive size: 36783951 bytes.
1
20