Document the known issue of the registration uninterpreted functions

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

https://github.com/LeventErkok/sbv

Other

239 stars 33 forks source link

Closed lsrcz closed 1 month ago

lsrcz commented 1 month ago

This pull request documents the known issue in https://github.com/LeventErkok/sbv/issues/711.

LeventErkok commented 1 month ago

Looks great. Thanks!