README.org

lang/fstar

Table of Contents

• Description
  • Maintainers
  • Module Flags
  • Plugins
• Prerequisites
  • F*
    • macOS
    • Arch Linux
• Features
• Configuration
• Troubleshooting

Description

This module adds F* support, powered by fstar-mode.el.

• Syntax highlighting
• Interactively process F* files one definition at a time
• Query the running F* process to look up definitions, documentation, and theorems

Maintainers

• @tchajed (Author)

Module Flags

This module provides no flags.

Plugins

• fstar-mode

Prerequisites

F*

While fstar-mode supports the latest release of F*, you may have a better experience installing a more recent version from source. See F*’s INSTALL.md.

macOS

brew install fstar

Arch Linux

Install fstar from the AUR:

yaourt -S fstar

Features

Configuration

Troubleshooting

If you’re having trouble getting F* to start correctly, you may need to configure a few variables in fstar-mode; see its README for more details.