形式証明
の変更点
http://www.nanbu.com/wiki/index.php?%E5%BD%A2%E5%BC%8F%E8%A8%BC%E6%98%8E
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
]
追加された行は
この色
です。
削除された行は
この色
です。
形式証明
へ行く。
形式証明 の差分を削除
center:形式証明
center:*形式証明