じぇねらるたんシールの注文方法 - Qiita概要 ADPRINTというサービスを使って誰でもじぇねらるたんの形のシールを作ってもらうことができる。値段は1枚あたり約12円1。 ProofGeneral とは じぇねらるたんは ProofGeneralというツールの公式キャラクターであるが、このツールはCoqなどの対話的証明支援器で証明を対話的に開発するための Emacs プラグインである。 手順 ADPRINTではじぇねらるたんのデータを入校する前に、シールの大きさやタイプを指定して注文を先にする必要がある。 まずADPRINTの注文画面へアクセス: http://www.adprint.jp/OrderMall/Order/TotalOrder.aspx 画像を参考に項目を入力 左上から順に「シール・ステッカー」「一般接着(ラミネートなし)」「横 50mm x 縦 60mm」 裁断は「特殊系」 数量は欲しい枚数を (500枚以上が
