質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.35%
Coq

証明支援システムの一つで、プログラミング言語Gallinaを用いています。

Q&A

0回答

999閲覧

java) cgengo

shinaga

総合スコア0

Coq

証明支援システムの一つで、プログラミング言語Gallinaを用いています。

0グッド

0クリップ

投稿2020/06/19 08:58

編集2020/06/19 10:32

hi there i is the day you go to the gym and go to the gym with me and go to the gym and go to the class and go to the gym and go to gym class and then go gym class and go

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

退会済みユーザー

退会済みユーザー

2020/06/19 10:11

アカウントの作り直しでしょうか?
shinaga

2020/06/19 11:01

くだらねー質問するなよ。 暇かよ
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

まだ回答がついていません

会員登録して回答してみよう

アカウントをお持ちの方は

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.35%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問