diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-12 16:45:04 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-12 16:45:27 -0400 |
| commit | bef674408e406a0bf537fff69d8890abaa3693f0 (patch) | |
| tree | 41edf14d058a4353ec4ff9b7040f92a95ee992fe /etc/coq-scripts | |
| parent | a88e4ec64cf96a23d4cf23ce3f62c57f7f3ca0ba (diff) | |
Add commented out proof of equivalence in MxDH
Diffstat (limited to 'etc/coq-scripts')
0 files changed, 0 insertions, 0 deletions