|
|
|
|
|
|
by zant
1826 days ago
|
|
|
I strongly agree on this one. As a programmer and someone who's always been interested in mathematics, having a way to check proofs without relying on trust of my own logic or a third agent, but solely on a prover like Lean or Coq is a really big difference. |
|
|