diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-06-29 09:43:09 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-06-29 19:42:55 -0400 |
| commit | 6312b9ac8f252dabc190b568c7716d1d3e492b6e (patch) | |
| tree | d20385582cf483a621e28e71db18d593a77960ea /_CoqProject | |
| parent | cd82a253caf2cedd1592f5f530d2dd417354ceb9 (diff) | |
new add/carry chain logic with admitted proofs
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions