qcert icon indicating copy to clipboard operation
qcert copied to clipboard
verified publisher icon querycert

Depend on coq-jsast 2.0.0 only

Open mandel opened this issue 3 years ago • 0 comments

mandel avatar Jul 29 '22 02:07 mandel