FORMAL VERIFICATION
Formal Verification
Mistral AI Launches Leanstral Open-Source Proof Agent for Lean 4
Mistral releases Leanstral, a 6B parameter AI agent for Lean 4 formal verification, beating larger models at 1/15th the cost under Apache 2.0 license.
Formal Verification
Sui Prover Enhances Smart Contract Verification on Sui Blockchain
Sui Prover introduces formal verification for smart contracts on the Sui blockchain, ensuring enhanced security and reliability. Developed by Asymptotic, it's now available to developers seeking robust contract validation.