nand2coq icon indicating copy to clipboard operation
nand2coq copied to clipboard

Published 20 hours ago • verified publisher icon philzook58

Feature Request: Use Github Pages to render coqdoc's output

Open Bruno-366 opened this issue 3 years ago • 1 comments

Bruno-366 avatar Apr 26 '21 16:04 Bruno-366