GitHub repository: FStarLang/fstar-interactive
Primary language: JavaScript
Created: 2015-05-14T20:05:05Z
Description: An F* interactive mode for the atom editor