diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-02-23 18:30:24 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-02-23 18:30:24 +0100 |
| commit | 3fc84368a0e957dac5574f699fb61fbe6bf049d7 (patch) | |
| tree | 107ecf55d103d7dabf080da467c653e9752114d6 /src/PropToBool.v | |
| parent | c05f39c2556725610840ec48b62243a10e2e098f (diff) | |
| download | smtcoq-3fc84368a0e957dac5574f699fb61fbe6bf049d7.tar.gz smtcoq-3fc84368a0e957dac5574f699fb61fbe6bf049d7.zip | |
Example of groups in unit tests
Diffstat (limited to 'src/PropToBool.v')
0 files changed, 0 insertions, 0 deletions