analysis icon indicating copy to clipboard operation
analysis copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

Backport Enrico's inline "!!" refining for the have tactic to mathcomp?

Open CohenCyril opened this issue 7 years ago • 1 comments

https://github.com/math-comp/analysis/blob/1566e324cd4b56d09a1660521d1c31c3e2ec83da/posnum.v#L20

CohenCyril avatar Jan 11 '18 15:01 CohenCyril

This is being taken care of by https://github.com/math-comp/math-comp/pull/859 .

affeldt-aist avatar Mar 07 '22 05:03 affeldt-aist