関連ページの更新状況
リンク元またはリンク先の変更を表示したいページ名を入力してください。("Category:カテゴリ名"と入力すると下位カテゴリを参照できます)。自分のウォッチリストにあるページの変更は太字で表示されます。
略語のリスト:
- デ
- ウィキデータの編集
- N
- ページの新規作成 (新しいページ一覧も参照)
- m
- 細部の編集
- b
- ボットによる編集
- (±123)
- ページサイズの増減 (バイト単位)
- 一時的にウォッチしているページ
2024年6月4日 (火)
- 差分履歴 Lean (証明アシスタント) 11:57 +543 Kitamado 会話 投稿記録 (→Functional but in-place: Lean 4 のベンチマーク結果を他の言語と比較した図を追加) タグ: ビジュアルエディター
- 差分履歴 Lean (証明アシスタント) 11:38 +894 2405:1203:908b:e100:c15a:5fb0:1f30:4020 会話 (→Lean の特徴: functional but in-place に対する記述を追加) タグ: ビジュアルエディター Edit Check (references) activated 編集チェック(出典)を却下(一般的な知識)