Use coqdoc syntax

2 jobs for !346 with avoid-deprecated-nat-defs in 4 minutes and 23 seconds (queued for 5 seconds)
merge request