aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorChantal Keller <Chantal.Keller@lri.fr>2016-04-30 22:08:11 +0200
committerChantal Keller <Chantal.Keller@lri.fr>2016-04-30 22:08:11 +0200
commit5a1b0fdd5bab9b40c10d71c09fdb58725e7373bc (patch)
tree48a05ea11844e7a1d920900b7ad5e95af84f7d03 /README.md
parent1aa3a9cb2171de7a68d00fb4c30b81c8d2689979 (diff)
downloadsmtcoq-5a1b0fdd5bab9b40c10d71c09fdb58725e7373bc.tar.gz
smtcoq-5a1b0fdd5bab9b40c10d71c09fdb58725e7373bc.zip
Print warnings when checking proofs with holes
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions