Homebrew Tap for Assura

Install the Assura compiler via Homebrew:

brew install assura-lang/tap/assura

About

Assura is a contract-first AI-native language that transpiles to Rust. Write what code should do; AI generates implementations; the compiler proves correctness via SMT solvers; then rustc compiles to native or WASM binaries.

Updating

The formula SHA256 hashes are placeholder values (all zeros) until the first release is tagged. When a release is created via cargo-dist, update the formula with the actual SHA256 hashes from the release artifacts.