Coq
Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する - エンジニアHub｜若手Webエンジニアのキャリアを考える！