2024年5月13日 (月)
- 14:482024年5月13日 (月) 14:48 差分 履歴 −23 Lean (証明アシスタント) →Lean 4: 文章の流れの校正 最新 タグ: ビジュアルエディター
- 14:462024年5月13日 (月) 14:46 差分 履歴 +1,732 Lean (証明アシスタント) →Lean 4: The Lean 4 Theorem Prover and Programming Language に基づいて,Lean 4 の特色について追記する タグ: ビジュアルエディター
- 14:262024年5月13日 (月) 14:26 差分 履歴 −11 Lean (証明アシスタント) →歴史: 重複した箇所を削除 タグ: ビジュアルエディター
- 14:202024年5月13日 (月) 14:20 差分 履歴 +1,667 Lean (証明アシスタント) Lean の開発の歴史を詳細にする. タグ: ビジュアルエディター
2024年4月27日 (土)
- 09:192024年4月27日 (土) 09:19 差分 履歴 −6 m Lean (証明アシスタント) →Lean の言語仕様と機能の概要: 「など」で曖昧にしない タグ: ビジュアルエディター
- 08:542024年4月27日 (土) 08:54 差分 履歴 +37 プログラミング言語一覧 →L: Lean 言語を追加する 最新 タグ: ビジュアルエディター
- 08:492024年4月27日 (土) 08:49 差分 履歴 +110 関数型プログラミング →言語: Lean 言語を関数型言語のリストに追加する タグ: ビジュアルエディター
- 08:432024年4月27日 (土) 08:43 差分 履歴 +707 Lean (証明アシスタント) Lean が正格評価であることを説明に追加する タグ: ビジュアルエディター
- 07:132024年4月27日 (土) 07:13 差分 履歴 +170 Lean (証明アシスタント) →利用: Xena プロジェクトについて出典を追加 タグ: ビジュアルエディター
- 07:082024年4月27日 (土) 07:08 差分 履歴 +3 m Lean (証明アシスタント) →外部リンク: タイポの修正 タグ: ビジュアルエディター
- 07:072024年4月27日 (土) 07:07 差分 履歴 +149 Lean (証明アシスタント) lean v3.0.0のリリース日に関して出典を追加する タグ: ビジュアルエディター
- 07:032024年4月27日 (土) 07:03 差分 履歴 +329 Lean (証明アシスタント) Lean と HoTT の関係について追記し,出典も追加する タグ: ビジュアルエディター
2024年4月21日 (日)
- 07:332024年4月21日 (日) 07:33 差分 履歴 −84 Lean (証明アシスタント) 評価版リリースを記載しない タグ: ビジュアルエディター
- 07:322024年4月21日 (日) 07:32 差分 履歴 0 Lean (証明アシスタント) 最新リリースを更新 タグ: ビジュアルエディター
2024年4月19日 (金)
- 14:192024年4月19日 (金) 14:19 差分 履歴 −21 Lean (証明アシスタント) →数学界に与えた影響: 節のタイトルをより一般的な「利用」に変更.
2024年4月10日 (水)
- 08:172024年4月10日 (水) 08:17 差分 履歴 +38 Lean (証明アシスタント) →関連項目: Isabelle の英語版Wikipediaの記事へのリンクを,仮リンクに差し替える タグ: ビジュアルエディター: 中途切替
- 08:102024年4月10日 (水) 08:10 差分 履歴 +24 Lean (証明アシスタント) テンプレートの Lean FRO にリンクを張る タグ: ビジュアルエディター
- 08:002024年4月10日 (水) 08:00 差分 履歴 +18 m Lean (証明アシスタント) 冒頭の紹介文を少し修正 タグ: ビジュアルエディター
- 07:582024年4月10日 (水) 07:58 差分 履歴 +347 Lean (証明アシスタント) →数学界に与えた影響: 出典の情報を追加する タグ: ビジュアルエディター
- 07:542024年4月10日 (水) 07:54 差分 履歴 −677 Lean (証明アシスタント) →外部リンク: 概要欄にあった外部リンクへの言及を削除し,すべて外部リンク欄に委譲する タグ: ビジュアルエディター
- 07:482024年4月10日 (水) 07:48 差分 履歴 +93 Lean (証明アシスタント) →関連項目: Reservoir の説明を少し詳しくする タグ: ビジュアルエディター
- 07:462024年4月10日 (水) 07:46 差分 履歴 −18 Lean (証明アシスタント) →外部リンク: Lean 公式のページだけを紹介し,コミュニティサイトは除外する。また,Reservoir や Lean 4 Web を紹介する。 タグ: ビジュアルエディター
- 07:372024年4月10日 (水) 07:37 差分 履歴 +446 Lean (証明アシスタント) →Lean の機能とコード例: タクティクによる証明の自動化機能に言及し,コード例を示す タグ: ビジュアルエディター
- 07:322024年4月10日 (水) 07:32 差分 履歴 +19 Lean (証明アシスタント) →拡張可能性: コード例の差し替え. より数学で一般的な記法に従う. タグ: ビジュアルエディター
- 07:272024年4月10日 (水) 07:27 差分 履歴 +13 m Lean (証明アシスタント) →証明: by をインラインコードとしてマークアップする タグ: ビジュアルエディター
- 07:272024年4月10日 (水) 07:27 差分 履歴 +648 Lean (証明アシスタント) →Lean の機能とコード例: 依存型について紹介する タグ: ビジュアルエディター
- 07:202024年4月10日 (水) 07:20 差分 履歴 +6 Lean (証明アシスタント) →Lean の機能とコード例: 対話的実行というタイトルに変更 タグ: ビジュアルエディター
- 07:152024年4月10日 (水) 07:15 差分 履歴 +4 m Lean (証明アシスタント) →帰納型: コードフォーマットの変更. タグ: ビジュアルエディター
2024年3月28日 (木)
- 14:292024年3月28日 (木) 14:29 差分 履歴 0 m Lean (証明アシスタント) →主要なライブラリとツール: タイポの修正 タグ: ビジュアルエディター
- 14:252024年3月28日 (木) 14:25 差分 履歴 +165 Lean (証明アシスタント) v4.0.0 のリリースの日時について出典を追加する タグ: ビジュアルエディター
- 14:222024年3月28日 (木) 14:22 差分 履歴 +297 Lean (証明アシスタント) →歴史: 情報元をたどることができるリンクを引用として追加する タグ: ビジュアルエディター
- 14:182024年3月28日 (木) 14:18 差分 履歴 +6 m Lean (証明アシスタント) 区切り文字を追加する タグ: ビジュアルエディター
2024年3月27日 (水)
- 11:502024年3月27日 (水) 11:50 差分 履歴 −8 m Lean (証明アシスタント) リーン → Lean タグ: ビジュアルエディター
2024年3月26日 (火)
- 11:482024年3月26日 (火) 11:48 差分 履歴 +5 Coq →関連項目: Lean を関連項目に追加 最新 タグ: ビジュアルエディター
- 11:402024年3月26日 (火) 11:40 差分 履歴 +253 Lean (証明アシスタント) 画像を追加 タグ: ビジュアルエディター
2024年3月25日 (月)
- 11:052024年3月25日 (月) 11:05 差分 履歴 +597 Lean (証明アシスタント) mathlib の移行作業に言及する タグ: ビジュアルエディター
2024年3月24日 (日)
- 11:252024年3月24日 (日) 11:25 差分 履歴 −3 m Lean (証明アシスタント) ドットを削除 タグ: ビジュアルエディター
- 10:442024年3月24日 (日) 10:44 差分 履歴 +75 Lean (証明アシスタント) 関連項目のリンクを変更.スタブではないようにする. タグ: ビジュアルエディター
- 10:372024年3月24日 (日) 10:37 差分 履歴 +609 Lean (証明アシスタント) →Lean の機能とコード例: マクロについて追記する タグ: ビジュアルエディター
- 10:282024年3月24日 (日) 10:28 差分 履歴 +587 Lean (証明アシスタント) →Lean の機能とコード例: #eval コマンドを紹介する タグ: ビジュアルエディター
- 10:172024年3月24日 (日) 10:17 差分 履歴 −3 m Lean (証明アシスタント) タイポ タグ: ビジュアルエディター
- 10:162024年3月24日 (日) 10:16 差分 履歴 +1,067 Lean (証明アシスタント) コード例の説明を洗練させる タグ: ビジュアルエディター
- 10:002024年3月24日 (日) 10:00 差分 履歴 −443 Lean (証明アシスタント) 無効になった脚注を削除
- 09:562024年3月24日 (日) 09:56 差分 履歴 −3 m Lean (証明アシスタント) タイポ タグ: ビジュアルエディター
- 09:552024年3月24日 (日) 09:55 差分 履歴 +479 Lean (証明アシスタント) 最近のLeanに関するエピソードを追記.古くなっていたものは削除. タグ: ビジュアルエディター
- 09:152024年3月24日 (日) 09:15 差分 履歴 +252 Lean (証明アシスタント) FROが設立されたことを歴史の節に明記する タグ: ビジュアルエディター
- 08:542024年3月24日 (日) 08:54 差分 履歴 +21 Lean (証明アシスタント) Lean FRO へのリンクを追加する タグ: ビジュアルエディター
- 08:512024年3月24日 (日) 08:51 差分 履歴 −56 Lean (証明アシスタント) Lean の歴史について語る部分と,概要について語る部分に分割.これは英語版に倣った. タグ: ビジュアルエディター
- 08:152024年3月24日 (日) 08:15 差分 履歴 −298 Lean (証明アシスタント) プログラミング言語としての infobox を最新の情報に更新 タグ: ビジュアルエディター
- 08:032024年3月24日 (日) 08:03 差分 履歴 +71 m Lean (証明アシスタント) 定理証明支援系であると紹介する前に,プログラミング言語であると明記する.これは Lean の公式サイトでの記述に準拠している. タグ: ビジュアルエディター