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.