RustDocs Hub Browse third-party crates
THIRD-PARTY CRATE

aristo-macros

Aristo SDK proc-macros: #[aristo::intent], #[aristo::assume].

Current version0.6.0
LicenseMIT
Total downloads114,836
Last updated2026-07-22
Homepagehttps://github.com/aretta-ai/aristo
Repositoryhttps://github.com/aretta-ai/aristo
Documentationhttps://docs.rs/aristo-macros

Categories

Development toolsDevelopment tools::Procedural macro helpers

Keywords

annotationintentproofsdkverification

View aristo-macros on crates.io →

RustDocs Hub renders this crate’s structured metadata only (name, description, downloads, version, license string, links, categories, keywords) per crates.io’s Data Access Policy. It does not re-host this crate’s README or source code — view the full README and source on crates.io or the repository link above.

Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.