The team behind Cardano is proving their algorithms. I think they have even proven Bitcoin in the process, of proving their own algos. I guess this is why one

The team behind Cardano is proving their algorithms. I think they have even proven Bitcoin in the process, of proving their own algos. I guess this is why one would like proofs, and proglangs that can (to some extend) incorporate the proofs/laws so your code is checked against them.