diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-04-26 16:55:45 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-04-26 16:55:45 +0200 |
| commit | 3c16cd6919f2f44cf2732e0bcda88b91ddbbbcff (patch) | |
| tree | c3a6a32d80626ee232cba2f0d76e8e0d668ae646 /src/PropToBool.v | |
| parent | 5084ed22cf500f531375df75fb4f00505d593f55 (diff) | |
| parent | 39b4d1d31c6446c937164039cac585dbe91b8b29 (diff) | |
| download | smtcoq-3c16cd6919f2f44cf2732e0bcda88b91ddbbbcff.tar.gz smtcoq-3c16cd6919f2f44cf2732e0bcda88b91ddbbbcff.zip | |
Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10
Diffstat (limited to 'src/PropToBool.v')
0 files changed, 0 insertions, 0 deletions