Coq-Equations icon indicating copy to clipboard operation
Coq-Equations copied to clipboard

Published 20 hours ago • verified publisher icon mattam82

[coq] Overlay for coq/coq#18385

Open ejgallego opened this issue 1 year ago • 0 comments
trafficstars

The newer loading method is preferred since 8.16

ejgallego avatar May 04 '24 21:05 ejgallego