lean4

Lean 4 は Lean 4 プログラミング言語および定理証明支援ツールのリポジトリであり、形式証明の作成と検証、関数型プログラムの開発が可能です。プロジェクトはクイックスタートガイド、ホームページ、定理証明チュートリアル、関数型プログラミングガイド、ドキュメント概要、言語リファレンス、v4.0.0-m3 から始まるリリースノート、サンプル、外部貢献ガイドラインを提供しています。インストール手順はプロジェクトサイトで入手でき、文書化されたビルドプロセスに従ってソースからビルドすることができます。貢献者は変更を提出する前に貢献ガイドラインを読むよう求められます。