V OpenVet
cargo / assura

assura

cargo

Contract-first AI-native language. Write what it should do. AI proves it does.

0 audits github.com/assura-lang/assura

Audits

No audits for this package yet.