Skip to content

Provide a pretty-printer for [nat].

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

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

Merge request reports