Total downloads
96
midspiral.lemmascript
LemmaScript for VS Code
7d gain
0
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.1.1
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- midspiral
- Name
- lemmascript
- License
- MIT
- Homepage
- https://lemmascript.com
- Repository
- https://github.com/midspiral/lemmascript-vscode.git
- Reviews
- 0
Taxonomy
Categories
Description
Syntax highlighting for LemmaScript contracts in TypeScript — and (later) a viewer for verification results.
Archive