Coqスレat TECHCoqスレ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト100:デフォルトの名無しさん 11/10/14 23:09:28.89 wikiに説明が書いてあると思うが 101:デフォルトの名無しさん 11/10/14 23:09:59.10 >>githubの方は60さんに刺激を受けたfm forumの人がやってるやつで完全に二つは独立してるよ 102:デフォルトの名無しさん 11/10/15 22:24:07.91 >>101 なるほど。ありがとうございます。見た感じ今はgithubの方が勢いがあるのかな？ 103:デフォルトの名無しさん 11/10/16 10:55:36.52 >>101 実際は、60が10月から忙しくなったのでProofSummit で協力をよびかけて、賛同者の作業がやりやすいようGithubに移行したということです。60もGithubに参加しています。 104:デフォルトの名無しさん 11/10/16 10:58:10.00 それは知らなかった説明ありがとう 105:デフォルトの名無しさん 11/10/16 12:24:15.43 >>103 うん？どういうこと？ 二つは独立しているのではなく、作業場所が変更したってこと？ 最新の作業情報はgithubのプロジェクトをみればよい？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch