feat: add instances about Nat.Primes
(#6238)
#3934
Job | Run time |
---|---|
1h 24m 6s | |
5s | |
8s | |
15s | |
11s | |
1h 24m 45s |
Nat.Primes
(#6238)
#3934
Job | Run time |
---|---|
1h 24m 6s | |
5s | |
8s | |
15s | |
11s | |
1h 24m 45s |