julesjacobs
Results
1
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....