Coq Modulo Theories (CoqMT) http://pierre-yves.strub.nu/coqmt/ なんてのがあるのか。 が、自分のCoq力では、例を見ても、どのあたりが Modulo Theories なのか良く分かっていない…… orz