Imandra.imandrax

ImandraX

Total downloads

1,481

7d gain

10

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.0.53

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: Imandra
Name: imandrax
License: MIT
Homepage: https://github.com/imandra-ai/imandrax-vscode#readme
Repository: https://github.com/imandra-ai/imandrax-vscode.git
Reviews: 0

Taxonomy

Categories

Programming Languages AI Visualization Other

Description

The ImandraX VSCode Extension

Archive

Release history

8 latest releases