|
|
|
|
|
|
by computerex
28 days ago
|
|
|
It's for mathematics. There is this programming language:
https://lean-lang.org/ If you can express a solution in Lean you can formally prove or disprove it. Formal verification is making a debut in traditional engineering toolkits. |
|
|