julesjacobs
Results
2
comments of
julesjacobs
Yes I am using continuous mode. The slowdown does not happen in the mode where you manually advance the proof state. I am not certain whether I'm using proof delegation....
Great! Thank you