boogie-friends
Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)
This package is a collection of tools for writing verified programs in languages of the Boogie family. Dafny and Boogie are the two currently supported languages, besides Z3.
homepage ↗ github: boogie-org/boogie-friends
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 0.1_p20220922 | 1 | 18 h | details › |
| melpa GitHub ↗ | 20250310.1610 | 1 | 24 h | details › |