implement Prove
trait for single proof case
#123
Job | Run time |
---|---|
37s | |
59s | |
44s | |
2m 20s |
Prove
trait for single proof case
#123
Job | Run time |
---|---|
37s | |
59s | |
44s | |
2m 20s |