5 ms·Formally verify a script in Coq2 points by p4bl0 12y agop4bl0 12y agoSee also the first part here: https://news.ycombinator.com/item?id=9156333 https://news.ycombinator.com/item?id=9156333.