analysis icon indicating copy to clipboard operation
analysis copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

improve the documentation of `contra.v`

Open affeldt-aist opened this issue 10 months ago • 0 comments

in particular, it lacks of examples

affeldt-aist avatar Mar 28 '24 09:03 affeldt-aist