diff options
| author | Brian Campbell | 2018-08-14 18:15:24 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-14 21:07:23 +0100 |
| commit | 39fea17bac77535c9cff47cd6657a308e391ac8a (patch) | |
| tree | 05c3bb014d38bfd87b9f09bd43cd80c0f4e1a1a2 /src | |
| parent | 7adf0f81af82f3d401a9b45f87c1dc92c5062f8e (diff) | |
Coq: attempt a quick proof before an indepth one
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions