vscoq icon indicating copy to clipboard operation
vscoq copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Unsatisfactory line break

Open ybertot opened this issue 7 months ago • 4 comments

In the attached picture the formatting of the last n - 2 is weird. Screenshot at 2024-07-18 14-12-24

ybertot avatar Jul 18 '24 12:07 ybertot