✨ [Enhance] Add support for user-defined name in ProofWorker class 1e96a75 unverified Husnain commited on Apr 22
✨ [Enhance] Add support for user-defined name in ProofWorker class d387c32 unverified Husnain commited on Apr 22