Geeks
AthenaFoundation
/
athena-language-server
A language server for the Athena proof language
Primary Language
Rust
Apache License 2.0
Apache-2.0
athena-language-server GitHub
Markdown
Readme
1
Issue
0
Stargazers
1
Watcher
Watchers
nathanwhit