プログラミング言語のRubyと定理証明支援系言語のCoqです!(((o(*゜▽゜*)o)))
初投稿です＞＜