A formal proof assistant which could help to make few crypto coinscoq.inria.fr2 pointsCeezy9 years ago