Lean by Example
プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。
1-20 of 28 versions of Lean by Example
Sort by
Date
4c5b7204c5b720c8d1e31ba83eeev4.19.0-rc2v4.19.0-rc2cb6bbf0v4.18.0v4.18.032b65f3v4.18.0-rc1v4.18.0-rc1af530225bae9e6v4.16.0v4.16.02d853c3v4.16.0-rc2v4.16.0-rc2bb5d890588a32a- 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.0