3 ms·
Lean the math prover? What does that have to do with Ada/Rust?
by adastra22 1y ago
Lean the math prover? What does that have to do with Ada/Rust?
- Jtsummers 1y 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.
- adastra22 1y agoThere was no need to be rude.