This file implements support for F* programming in Emacs, including: * Syntax highlighting * Unicode math (prettify-symbols-mode) * Documentation and search * Relative indentation * Outlining and selective display * Type hints (Eldoc) * Autocompletion (Company) * Type-aware snippets (Yasnippet) * Interactive proofs (à la Proof-General) * Real-time verification (Flycheck) * Remote editing (Tramp) See https://github.com/FStarLang/fstar-mode.el for setup and usage tips.