Imandra.imandra-code-logician

CodeLogician IML Agent

Total downloads

1,152

7d gain

12

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.2.4

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: Imandra
Name: imandra-code-logician
License: MIT
Homepage: https://codelogician.dev
Reviews: 0

Taxonomy

Categories

AI Testing Other

Description

Formalize and analyze code using Imandra's CodeLogician IML Agent

Archive

Release history

5 latest releases