Apple has released new versions of corecrypto featuring quantum-secure ML-KEM and ML-DSA algorithms, accompanied by mathematical proofs ensuring compliance with FIPS 203 and FIPS 204 standards. Additionally, they have published formal verification libraries and tools designed to provide the strongest known correctness assurances for widely-deployed implementations of these algorithms.
https://security.apple.com/blog/formal-verification-corecrypto