Rust Engine: drop unused when backends are not dummy any longer #1615
Description
See #1603 (comment)
The need for unused will go away as the Lean backend is updated (#1607)
{{ message }}
See #1603 (comment)
The need for unused will go away as the Lean backend is updated (#1607)