achlipala / TPP2014

Theorem proving and provers for reliable theory and implementations

TPP2014

Theorem proving and provers for reliable theory and implementations

Problem (pdf)

Authors Wiki

• Cyri Cohen (Ssreflect)
• Daisuke Sato (Coq)
• Fadoua Ghourabi (Isabelle/HOL)
• Jacques Garrigues (Coq)
• Kazuhiko Sakaguchi (Ssreflect)
• Kazuhisa Nakasho (Mizar)
• Kei Tsujimoto (HOL Light)
• Masahiko Sakai (Agda)
• Masahiro Sato (Coq)
• Mitsuharu Yamamoto (Ssreflect, HOL4)
• Sosuke Moriguchi (Coq)
• Takashi Miyamoto (Coq)
• Yoichi Hirai (Ssreflect)

Public Repository since 2014/11/19.

TPP2014 workshop HP: http://imi.kyushu-u.ac.jp/lasm/tpp2014/