coq.drv 183 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1

2
prelude "(* This file is generated by Why3's Coq driver *)"
3
prelude "(* Beware! Only edit allowed sections below    *)"
MARCHE Claude's avatar
MARCHE Claude committed
4

5 6
printer "coq"
filename "%f_%t_%g.v"
7

8
import "coq-common.gen"