ヘルプcoqグループcoqグループ証明支援器Coqのグループです。ProofCafe勉強会のWikiは移動しました。こちらをご覧ください。以下は昔のProofCafeに関する情報です。tuple...Coqチラシの裏CoqCheatSheetを補完するとも思えない。o...clear不要な前提を消去するタクティック。不要な前提が多すぎてごちゃごちゃしすぎる場合に見た目をすっきりさせることができる。titleを補完する形で。