3 ms·Write a script in Coq2 points by p4bl0 12y agop4bl0 12y agoSee also the second part here: https://news.ycombinator.com/item?id=9156334 https://news.ycombinator.com/item?id=9156334.