diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-04-14 19:20:38 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-04-14 19:21:21 -0400 |
| commit | aa0052b9469c876947cbe7ed007ae8113b711fdc (patch) | |
| tree | 2ea90c40c1db1f1cb529bbaba86f7f2095ac98a8 /etc | |
| parent | e58b62a35a51e20f96e4aa1c8b8e179ebdbee930 (diff) | |
stronger ladderstep correctness proof courtesy Teo
Diffstat (limited to 'etc')
| m--------- | etc/coq-scripts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/etc/coq-scripts b/etc/coq-scripts -Subproject 878fffa6abdb29db903ccce680b937df7a4f04f +Subproject 70b32dd2da94b945f4e98064f2fbf78ae0755e6 |