Coqは組み込み関係での需要があるのか。 検証コストめっちゃ高いって書いてあったりAirbusと共同研究とか書いてあるから、バグがあってはならないような用途向けって感じかな。 https://t.co/GkhNBco6QT