FreeSpec icon indicating copy to clipboard operation
FreeSpec copied to clipboard

Published 20 hours ago • verified publisher icon lthms

core: Support Coq 8.15

Open lthms opened this issue 2 years ago • 0 comments

Let’s do it.

lthms avatar May 16 '22 11:05 lthms