This file implements support for F* programming in Emacs, including:

* Syntax highlighting
* Unicode math (with prettify-symbols-mode)
* Indentation
* Real-time verification (requires the Flycheck package)
* Interactive proofs (à la Proof-General)

See https://github.com/FStarLang/fstar-mode.el for setup and usage tips.