ruby-tan and coq-tan (original) drawn by chomado

Artist's commentary

  • Original
    •

    RubyたんCoqたん

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

  • Comments
    •

    There are no comments.