issues
search
leanprover
/
leansat
This package provides an interface and foundation for verified SAT reasoning
Apache License 2.0
49
stars
6
forks
source link
feat: `BitVec.signExtend`
#92
Closed
hargoniX
closed
4 months ago
hargoniX
commented
4 months ago
Waiting for:
https://github.com/leanprover/lean4/pull/4187
Waiting for: https://github.com/leanprover/lean4/pull/4187