タグ: Coq (1人)

今井宜洋 (Yoshihiro Imai) 有限会社ITプランニングシステム開発部有限会社ITプランニング勤務のプログラマ。証明器の勉強会ProofCafeを主催。関数型言語や形式手法を使った、高信頼なシステム開発の技術に興味があ...

OCaml　

Coq　