1 2 3 4 5 6 7 8
[dependencies] [package] description = "Proc-macro Coq code generation and proof automation" edition = "2021" license = "MIT" name = "roq" version = "0.1.0"