add explanation of coq to paper correspondence
Passed
Johannes Hostert
created pipeline for commit
040f2d9c
, finished
For master
3 minutes 22 seconds, queued for 2 seconds