PUMPKIN-PATCH icon indicating copy to clipboard operation
PUMPKIN-PATCH copied to clipboard

Published 20 hours ago • verified publisher icon uwplse

use built-in coq functions wherever possible (at lib level, at least) (investigate globally)

Open tlringer opened this issue 4 years ago • 0 comments

tlringer avatar Aug 14 '19 17:08 tlringer