検索結果

ナビゲーションに移動 検索に移動

ページ名と一致

  • Lean (証明アシスタント)
    * {{仮リンク|Isabelle(証明アシスタント)|en|Isabelle_(proof_assistant)}} [[Category:証明アシスタント]] …
    41キロバイト (2,304 語) - 2025年3月17日 (月) 21:57

ページ本文と一致

  • Lean (証明アシスタント)
    * {{仮リンク|Isabelle(証明アシスタント)|en|Isabelle_(proof_assistant)}} [[Category:証明アシスタント]] …
    41キロバイト (2,304 語) - 2025年3月17日 (月) 21:57
「https://ja.wiki.beta.math.wmflabs.org/wiki/特別:検索」から取得