Inference v0.0.6 ships Stellar as a compilation target, enabling developers to use the formal verification language to write and prove Soroban smart contracts. The release also adds SpaceWasm target support for NASA JPL flight software and improves proof generation with Rocq.



















