implement Prove
trait for single proof case
#137
Job | Run time |
---|---|
36s | |
28s | |
35s | |
1m 39s |
Prove
trait for single proof case
#137
Job | Run time |
---|---|
36s | |
28s | |
35s | |
1m 39s |