Imandra.speclogician

SpecLogician

Total downloads

936

7d gain

224

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.4.0

Latest published

Activity

Extension trends

Manifest

Metadata

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

Taxonomy

Categories

Visualization

Description

Visualize SpecLogician formal specification state — including interactive reachability graphs

Archive

Release history

4 latest releases