|
|
|
|
|
|
by MaxBarraclough
2010 days ago
|
|
|
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. |
|
|