Athena-LanguageSupport for the Athena proof language in VSCode Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
Athena Language Server ProtocolDescriptionThis is an implementation of the language server protocol for the Athena proof assistant |