Lean by Example
プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。
1-20 of 20 versions of Lean by Example
Sort by
Date
c0cda06bb5d890588a32a- 4.x
4.13.0-rc3 - 4.x
4.13.0-rc3v4.13.0v4.13.0 a80f935v4.13.0-rc3v4.13.0-rc3954df8f5cdc785v4.12.0-rc1v4.12.0-rc1359b20bv4.11.0v4.11.05ea5e9bv4.11.0-rc2v4.11.0-rc26e9f624v4.11.0-rc1v4.11.0-rc166100aev4.10.0v4.10.04c7fcddv4.10.0-rc2v4.10.0-rc28ecf5a0v4.10.0-rc1v4.10.0-rc10c6b7f7v4.9.0v4.9.037843f89b058f2v4.9.0-rc2v4.9.0-rc280a2ec1v4.9.0-rc1v4.9.0-rc1d5ea35dbf45758v4.8.0-rc2v4.8.0-rc2