Llean4leanprover新着 Lean 4 は形式検証、関数型プログラミング、対話的証明開発のためのプログラミング言語および定理証明支援ツールです。 開発ツールTesting & debugging