paperproof icon indicating copy to clipboard operation
paperproof copied to clipboard

Published 20 hours ago • verified publisher icon Paper-Proof

lean - rwa tactic name

Open lakesare opened this issue 6 months ago • 1 comments

Tactic name we have: coe inv Tactic name expected: rwa [coe_inv]

image

lakesare avatar Dec 11 '23 03:12 lakesare