sbvPlugin v0.8 Release Notes
Release Date: 2017-01-12 // over 7 years ago-
- Fix broken links, thanks to Stephan Renatus for the patch.
- Add the 'Proved' type, which allows for easily tagging a type for proof, without the need for an explicit annotation. Thanks to Nickolas Fotopoulos for the patch.
- Bump up sbv dependence to > 5.14