diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-15 17:39:29 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-15 17:39:29 +0100 |
commit | 5769b380a3ea70e98f4fafb493431421fb5f5a7d (patch) | |
tree | 3bb1e42dbea1e82bc50726ad75a02f6b64a765dd /unit-tests/Tests_verit_vernac.v | |
parent | 4294883295f02122cde3e43f73e166f40390520b (diff) | |
download | smtcoq-5769b380a3ea70e98f4fafb493431421fb5f5a7d.tar.gz smtcoq-5769b380a3ea70e98f4fafb493431421fb5f5a7d.zip |
More succinct README
Diffstat (limited to 'unit-tests/Tests_verit_vernac.v')
0 files changed, 0 insertions, 0 deletions