app-emacs / boogie-friends

Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)

Official package sites : ·

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.

v20210703 :: 0 :: gentoo


app-editors / emacs : The extensible, customizable, self-documenting real-time display editor

app-emacs / company-mode : In-buffer completion front-end

app-emacs / dash : A modern list library for Emacs

app-emacs / flycheck : Modern on-the-fly syntax checking extension for GNU Emacs

app-emacs / yasnippet : Yet another snippet extension for Emacs

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
app-emacs/boogie-friends: new package; add 20210703 (2021.07.03 snapshot)
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <>