Leanは純粋関数型プログラミング言語、証明支援系。CoCに基づいている
will-read Theorem Proving in Lean 4 日本語訳 - Theorem Proving in Lean 4 日本語訳
elan
開発環境を管理するコマンド。Rustにおけるrustupのような存在。
lake
プロジェクトを管理するコマンド。Rustにおけるcargoのような存在。
Leanは純粋関数型プログラミング言語、証明支援系。CoCに基づいている
will-read Theorem Proving in Lean 4 日本語訳 - Theorem Proving in Lean 4 日本語訳
開発環境を管理するコマンド。Rustにおけるrustupのような存在。
プロジェクトを管理するコマンド。Rustにおけるcargoのような存在。