Comment Comment by quietusmuris Interesting. Do I have to write specs in Lean against the Wasm semantics or can you annotate Rust directly? parent quietusmuris 4 months ago
