gnu-emacs@gentoo.org Gentoo GNU Emacs project 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. https://github.com/boogie-org/boogie-friends/issues/ boogie-org/boogie-friends