Giacomo Pasini 221d7102a9
init
2024-07-16 17:06:54 +02:00

9 lines
162 B
TOML

[package]
name = "proof_statements"
version = "0.1.0"
edition = "2021"
[dependencies]
cl = { path = "../cl" }
serde = { version = "1.0", features = ["derive"] }