[package] name = "formal_spec" version = "0.0.1" edition = "2021" license = "MIT OR Apache-2.0" description = "Tools of writing formal specification for rust code" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html [lib] proc-macro = true [dependencies] quote = "1.0.10" proc-macro2 = "1.0" syn = { version = "1.0", features = ["full"] }