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
chore: fix grammar in comment
#132
Closed
tobiasgrosser
closed
3 months ago