coq

coq copied to clipboard

Reame
Issues

Add convenience API Sorts.make taking quality and universe

Open SkySkimmer opened this issue 1 year ago • 1 comments

May 13 '24 14:05 SkySkimmer

@coqbot run full ci

May 13 '24 15:05 ppedrot

@coqbot merge now

May 15 '24 14:05 ppedrot