NISHIO Hirokazu
[日本語]
[English]
Lean 4
Lean 4は、高性能なプログラミング言語兼
形式的証明
支援システムで、数学定理の形式化や検証を効率的に行うためのツールです。
形式証明
(C)NISHIO Hirokazu / Converted from Markdown (ja)
Source:
[GitHub]
/
[Scrapbox]
Lean 4は、高性能なプログラミング言語兼形式的証明支援システムで、数学定理の形式化や検証を効率的に行うためのツールです。