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

Published 20 hours ago • verified publisher icon coq-community

Stop using auto with * in intuition

Open SkySkimmer opened this issue 2 years ago • 0 comments

SkySkimmer avatar Jul 05 '23 12:07 SkySkimmer