app-emacs/boogie-friends
A collection of programming modes for Boogie, Dafny, and Z3 (SMTLIB v2)
Screenshots
View
Download
BrowseRuntime Dependencies
boogie-friends-20260804.2236
boogie-friends-0.1_p20260805
>=app-emacs/company-mode-0.8.12
>=app-emacs/dash-2.10.0
>=app-emacs/yasnippet-0.9.0.1
app-emacs/flycheck
>=app-editors/emacs-27.2:*
>=app-emacs/dash-2.10.0
>=app-emacs/yasnippet-0.9.0.1
app-emacs/flycheck
>=app-editors/emacs-27.2:*
boogie-friends-0.1_p20220922
app-emacs/company-mode
app-emacs/dash
app-emacs/flycheck
app-emacs/yasnippet
>=app-editors/emacs-26.3:*
app-emacs/dash
app-emacs/flycheck
app-emacs/yasnippet
>=app-editors/emacs-26.3:*