formal_spec-0.0.1
- formal_spec 0.0.1
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- crates.io
- Source
- Owners
- HKalbasi
- Dependencies
- proc-macro2 ^1.0 normal
  
  quote ^1.0.10 normal
  
  syn ^1.0 normal
- Versions
- 0% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Crate formal_spec

formal_spec0.0.1

All Items

Crate Items

Attribute Macros

Crate formal_spec

Attribute Macros§

ensures
proof
requires