2405:1203:908B:E100:38E8:90C8:F740:3146の投稿記録

2024年5月26日 (日)

• 13:312024年5月26日 (日) 13:31 差分 履歴 −27‎ Lean (証明アシスタント) ‎ →‎2013年: 開発開始: タイポの修正 タグ: ビジュアルエディター

2024年5月25日 (土)

• 07:532024年5月25日 (土) 07:53 差分 履歴 +1,079‎ Lean (証明アシスタント) ‎ Lean の特徴という節を新たに追加し，そこでテーブル化型クラス解決を紹介する タグ: ビジュアルエディター Edit Check (references) activated
• 07:422024年5月25日 (土) 07:42 差分 履歴 −24‎ Lean (証明アシスタント) ‎ →‎Lean の言語仕様と機能の概要: 節のタイトル変更と，構成の変更．「対話的実行」を先頭に持ってくる タグ: ビジュアルエディター Edit Check (references) activated 編集チェック（出典）を却下（一般的な知識）
• 07:332024年5月25日 (土) 07:33 差分 履歴 −1‎ Lean (証明アシスタント) ‎ →‎利用: 「利用」のセクションを脚注の直前に移動させる． タグ: ビジュアルエディター
• 07:282024年5月25日 (土) 07:28 差分 履歴 +2,608‎ Lean (証明アシスタント) ‎ →‎歴史: Lean が開発された経緯，とくに何故 Lean を開発しようと思ったのか，既存の定理証明支援系の何が不満だったのかを追記 タグ: ビジュアルエディター