diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-03-24 14:38:31 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-03-24 14:41:45 -0400 |
| commit | de47c4e96bcafb1d540d0334b85c1a8677931a97 (patch) | |
| tree | da9e85c9963225b0e780e0f0f9d000fda9267fb7 /_CoqProject | |
| parent | 834a48b306acc57eabe4cf3667cc0693ccb7983a (diff) | |
Add lemmas needed for saturated arithmetic [compact]
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions