fourcolor icon indicating copy to clipboard operation
fourcolor copied to clipboard
verified publisher icon coq-community

install problem

Open ASamSam opened this issue 1 year ago • 0 comments

Hello. trying to install, and have this problem. not sure If it really comes from mathcomp ... can you help me please? image

ASamSam avatar Oct 16 '24 21:10 ASamSam