finmap icon indicating copy to clipboard operation
finmap copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

files with headers

Open CohenCyril opened this issue 4 years ago • 1 comments

CohenCyril avatar Dec 10 '20 12:12 CohenCyril

master already has a meta.yml file that looks fine to apply the coq-community machinery, maybe this PR should be closed?

affeldt-aist avatar Jul 04 '22 16:07 affeldt-aist