dschoepe/spacemacs-boogie-friends

Spacemacs layer for working with Dafny, Boogie, and Z3

Emacs Lisp