add example 14 Coq file
Passed
Johannes Hostert
created pipeline for commit
06edbb88
, finished
For master
3 minutes 26 seconds, queued for 2 seconds