quote4 icon indicating copy to clipboard operation
quote4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Attempt to fix #21

Open eric-wieser opened this issue 7 months ago • 0 comments

This doesn't work yet.

eric-wieser avatar Nov 15 '23 12:11 eric-wieser