Skip to content

Provide a pretty-printer for [nat].

Ghost User requested to merge archived_projects/coq-stdpp:prettynat into master

Pretty-print nat; this simply reduced to the N pretty printer.

Merge request reports