canonical-binary-tries icon indicating copy to clipboard operation
canonical-binary-tries copied to clipboard

Published 20 hours ago • verified publisher icon xavierleroy

Make clear what versions of Coq are supported

Open robbertkrebbers opened this issue 1 year ago • 2 comments

This information is not in the README. I think it would be good to include it there.

robbertkrebbers avatar Sep 04 '23 10:09 robbertkrebbers