metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard

Published 20 hours ago • verified publisher icon MetaCoq

PCUIC PHOAS

Open mattam82 opened this issue 3 years ago • 1 comments

This adds a variant of the syntax in Parametric Higher-Order Abstract Syntax, which can be combined with Coq's custom notation entries to get more readable reified terms.

mattam82 avatar Jul 12 '21 15:07 mattam82

Does it also work for printing? :)

TheoWinterhalter avatar Jun 29 '22 15:06 TheoWinterhalter