新規作成
新規ページ作成
新規ページ作成（その他）
このページをコピーして新規ページ作成
このウィキ内の別ページをコピーして新規ページ作成
このページの子ページを作成
新規ウィキ作成
編集
ページ編集（簡易版）
ページ名変更
メニュー非表示でページ編集
ページの閲覧/編集権限変更
ページの編集モード変更
このページにファイルをアップロード
メニューを編集
右メニューを編集
バージョン管理
最新版変更点（差分）
編集履歴（バックアップ）
アップロードファイル履歴
ページ操作履歴
ページ一覧
ページ一覧
このウィキのタグ一覧
このウィキのタグ（更新順）
このページの全コメント一覧
このウィキの全コメント一覧
RSS
このウィキの更新情報RSS
このウィキ新着ページRSS
ヘルプ
ご利用ガイド
Wiki初心者向けガイド（基本操作）
このウィキの管理者に連絡
運営会社に連絡（不具合、障害など）
proofpattern @ ウィキ
操作ガイド
新規作成
編集する
全ページ一覧
登録/ログイン
proofpattern @ ウィキ
操作ガイド
新規作成
編集する
全ページ一覧
登録/ログイン
proofpattern @ ウィキ
メニュー
トップページ
メニュー
Falseに関するパターン
absurd
exfalso
inversion
Reductionに関するパターン
red
simpl
compute
変換に関するパターン
rewrite
???に関するパターン
specialize
assert
帰納法に関するパターン
induction
elim
右メニュー
カウンター
今日
-
人
昨日
-
人
合計
-
人
現在
-
人が閲覧中。
更新履歴
取得中です。
検索
proofpattern @ ウィキ内検索
検索 :
スペースで区切った単語全てを含むページを検索
スペースで区切った単語のいずれかを含むページを検索
wiki構文で検索する
完全一致で検索する
