search

leanprover / leansat

This package provides an interface and foundation for verified SAT reasoning
Apache License 2.0
48 stars 6 forks source link

feat: handle BitVec.ofNatLt #97

Closed hargoniX closed 3 months ago

hargoniX commented 3 months ago

Waiting for https://github.com/leanprover/lean4/pull/4391