Initial public release featuring FunSearch island evolution, in-process Wasmtime fuel-metering, Z3 CEGIS feedback, Lean 4 theorem synthesis, and GitOps automated PR delivery.
Initial public release featuring FunSearch island evolution, in-process Wasmtime fuel-metering, Z3 CEGIS feedback, Lean 4 theorem synthesis, and GitOps automated PR delivery.