TPP2014
Theorem proving and provers for reliable theory and implementations
- 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)