Skip to content
Snippets Groups Projects

add explanation of coq to paper correspondence

Passed
Johannes Hostert created pipeline for commit 040f2d9c
, finished
For master
branch
1 job 3 minutes 22 seconds, queued for 2 seconds