diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-08 00:17:44 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-08 00:17:44 +0100 |
| commit | 0826ec2f6718d84b92e6dd546ad7ecfdf8da80f3 (patch) | |
| tree | 2ebf8ae93d49bdb72e5663f0e81bc7da81471df1 /.gitignore | |
| parent | 03aca014ef8f6ac32e301244fdcaaf1306d3584e (diff) | |
have coq be enabled as a prover by enabling the coq option
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions