//! Assura: Contract-first AI-native language and verification toolchain.
//!//! Write what it should do. AI proves it does.
//!//! This crate is a placeholder for the upcoming Assura project.
//! See <https://github.com/SebTardif/assura> for details.