coq-serapi icon indicating copy to clipboard operation
coq-serapi copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

Adapt to coq/coq#18327 (projection opacity)

Open rlepigre opened this issue 6 months ago • 0 comments

rlepigre avatar Dec 14 '23 16:12 rlepigre