Other Tools
v0.8.1
active
assura
io.github.assura-lang/assura
Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.
No Documentation Available
This server doesn't have README documentation in its repository. Check the repository or website links in the sidebar for more information.
View RepositoryCARGO
assuraInstall Command
cargo install assura