• imgcat@lemmy.ml
    link
    fedilink
    arrow-up
    4
    arrow-down
    5
    ·
    5 months ago

    Ada SPARK is not dying at all, it’s growing. It is used where formal proof is required like and Rust is nowhere near that!