Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>Athena-LanguageNew to Visual Studio Code? Get it now.
Athena-Language

Athena-Language

Athena Foundation

|
245 installs
| (2) | Free
Support 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
More Info

Athena Language Server Protocol

Description

This is an implementation of the language server protocol for the Athena proof assistant

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft