Cargo.toml « rust-scripts - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/rust-scripts/Cargo.toml

blob: 31ef5be05a545c606b70e5feb309d1e257cc0a9c (plain)

[package]
name = "rust-tests"
version = "0.1.0"
authors = ["Son Ho <hosonmarc@gmail.com>"]
edition = "2018"

[dependencies]