Skip to content

Release 1.5.1-SNAPSHOT

Pre-release
Pre-release
Compare
Choose a tag to compare
@MarkusEllyton MarkusEllyton released this 15 Nov 16:24
· 11 commits to quickcheck_integration since this release
v1.5.1-SNAPSHOT
c1e5f21

This pre-release adds support for proof obligation code lenses and contains various improvements to the QuickCheck integration.

Assets 3
Loading