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: `shiftRight` for arbitrary widths #118

Closed hargoniX closed 1 month ago

hargoniX commented 2 months ago

Based on top of #107