Skip to content
Snippets Groups Projects

Fix some Coqdoc, e.g. use `[ ]` for code, that I did not see in the review of !62,

Passed
Robbert Krebbers created pipeline for commit 700545bb
, finished
For master
branch
8 jobs 10 minutes 31 seconds, queued for 93 seconds