From what I gather, good progress is being made on the SPARK Ada tooling, for formally verified software development. Do you have something specific in mind?

From what I gather, good progress is being made on the SPARK Ada tooling, for formally verified software development. Do you have something specific in mind? IDEs? I don't know much about this but I presume work is being done on Rust/Zig IDEs.