Add some link to the note about nested quantifiers for `universal` and `existential`.

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

240 stars 33 forks source link

Closed kfl closed 2 years ago

kfl commented 2 years ago

Add a small warning note for the quatifier constructors. A small interim patch for issue #623.

LeventErkok commented 2 years ago

Thank you!