Skip to content

fix(proof): remove synthetic artifacts from /proof - #3643

Closed
PetrefiedThunder wants to merge 1 commit into
mainfrom
kimi/proof-remove-synthetic
Closed

fix(proof): remove synthetic artifacts from /proof#3643
PetrefiedThunder wants to merge 1 commit into
mainfrom
kimi/proof-remove-synthetic

Commits

  1. Commits on Oct 26, 2026