fix(pumpkin-solver): Correctly detect when to write zipped proofs#372
Merged
maartenflippo merged 1 commit intomainfrom Feb 23, 2026
Merged
fix(pumpkin-solver): Correctly detect when to write zipped proofs#372maartenflippo merged 1 commit intomainfrom
maartenflippo merged 1 commit intomainfrom
