aboutsummaryrefslogtreecommitdiff
path: root/primes.txt
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2018-04-03 16:30:00 -0400
committerGravatar Jason Gross <jgross@mit.edu>2018-04-03 16:30:00 -0400
commitd97e060a3f8de0b83db89aa6c25eb4157045c275 (patch)
tree3b9388192c53e5d45c68d93415345c26634aab0c /primes.txt
parent4c84380aa7cdaff10ad05f57e9876c27835fa830 (diff)
Update coqprime
Diffstat (limited to 'primes.txt')
0 files changed, 0 insertions, 0 deletions