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
Bump toolchain to nightly-2024-07-25
#131
Closed
shigoel
closed
2 months ago