Obsidianスタッフによる手動レビュー前注意情報の確認日：2026年11月13日
Lean4はewigmidoriが公開しているObsidianプラグイン。累計ダウンロード42回、10,297件中9,659位（2026年11月13日時点）。
公式の説明
Check independent Lean 4 blocks or shared sessions and inspect proof goals with an automatically managed basic environment. - This plugin has not been manually reviewed by Obsidian staff.