diff options
| author | Brian Campbell | 2020-06-11 17:22:26 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-06-11 17:22:26 +0100 |
| commit | 9468ad12ea50d5fcafda669706b65005820a3ba9 (patch) | |
| tree | 182e8043b18ec5683bc337b590e540be174eb0d6 /.github | |
| parent | d2b4a7a1d654cf8f315e2471b1470506255f3d68 (diff) | |
Coq: specialise the andor solvers to avoid excessive search and solve more goals
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions