vsc-licenser icon indicating copy to clipboard operation
vsc-licenser copied to clipboard

Published 20 hours ago • verified publisher icon ymotongpoo

Add support for Coq

Open smorimoto opened this issue 4 years ago • 1 comments

smorimoto avatar Dec 29 '19 18:12 smorimoto