coqhammer icon indicating copy to clipboard operation
coqhammer copied to clipboard

Published 20 hours ago • verified publisher icon lukaszcz

Overlay for Coq PR #13952

Open mattam82 opened this issue 3 years ago • 0 comments

Don't merge yet, depending on Coq PR coq/coq#13952

mattam82 avatar Mar 24 '21 00:03 mattam82