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: rotateLeft rotateRight #88

Closed hargoniX closed 4 months ago

hargoniX commented 4 months ago

Relies on https://github.com/leanprover/lean4/pull/4257 to close the two sorries