lean icon indicating copy to clipboard operation
lean copied to clipboard
verified publisher icon leanprover-community

doc(tactic): add explanation of approx for unify

Open EdAyers opened this issue 5 years ago • 1 comments

I've always wondered what that flag did...

EdAyers avatar Sep 02 '20 21:09 EdAyers

I'm leaving this as a draft for now because there are some other things that approx does

EdAyers avatar Sep 02 '20 21:09 EdAyers