metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard

Published 20 hours ago • verified publisher icon MetaCoq

alectryon-doc

Open mattam82 opened this issue 3 years ago • 0 comments

Add a target to build doc using alectryon (on top of case-representation-closed)

mattam82 avatar Aug 27 '21 12:08 mattam82