formal-cli (cargo): The Formal Programming Language CLI
Keywords: wasm