bignums icon indicating copy to clipboard operation
bignums copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Adapt to coq/coq#18939 (Unification Firstorder Function Conversion off)

Open SkySkimmer opened this issue 1 year ago • 0 comments

SkySkimmer avatar Sep 06 '24 15:09 SkySkimmer