Skip to content

GitLab

Use coqdoc syntax

2 jobs for !346 with avoid-deprecated-nat-defs in 4 minutes and 23 seconds (queued for 5 seconds)
merge request
17190de7
1 related merge request: !346 Avoid using Arith libraries deprecated in v8.16