coqとか定理証明支援系に興味ありますか?