Spacemacs layer for fstar (wrapper for fstar-mode.el) - View it on GitHub