|
|
|
|
|
|
by Jtsummers
251 days ago
|
|
|
> Lean the math prover? What does that have to do with Ada/Rust? I'm going to be rude, but there are 4 sentences in this thread and you appear to have not read two of them. The comment I responded to: >> I've never heard of SPARK. What advantages does it have compared to Lean? [emphasis added] The "It" in my response refers to SPARK. |
|
|