diff options
| author |  Jason Gross <jasongross9@gmail.com> | 2016-08-10 17:42:47 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-08-10 17:42:47 -0700 |
| commit | 26379c32ce4de3c6be3b0b98520157571187da68 (patch) | |
| tree | 49d36ee21dac6db0cbdd4457c1633e9be756e44c /coqprime-8.4 | |
| parent | eaa9ff12d57aa82876036e04f128501c6c0b3afa (diff) | |
| parent | 3c888a6584b8872f179782a9a2b2d07f9b7076f1 (diff) | |
Merge pull request #49 from JasonGross/bounded-z-like
Specify a type of bounded integers for modular arithmetic
Diffstat (limited to 'coqprime-8.4')
0 files changed, 0 insertions, 0 deletions