Coq
定理証明支援ツール
https://coq.inria.fr/a-short-introduction-to-coq
日本語資料
https://www.iijlab.net/activities/programming-coq/
https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2013_SS/coq8.pdf
https://staff.aist.go.jp/reynald.affeldt/ssrcoq/coq-jssst2014.pdf
#ツール