Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する

プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだエンジニアになりましょう！ coqtokyoを主催する今井宜洋さんの解説です。