diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-04-03 16:30:00 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-04-03 16:30:00 -0400 |
| commit | d97e060a3f8de0b83db89aa6c25eb4157045c275 (patch) | |
| tree | 3b9388192c53e5d45c68d93415345c26634aab0c /primes.txt | |
| parent | 4c84380aa7cdaff10ad05f57e9876c27835fa830 (diff) | |
Update coqprime
Diffstat (limited to 'primes.txt')
0 files changed, 0 insertions, 0 deletions