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.sshiftRight #91

Closed hargoniX closed 5 months ago

hargoniX commented 5 months ago

Keep in mind that #88 has conflicts with this one once merged.