Lean by Examplev4.13.0-rc3
プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。
of 16 versions of Lean by Example
1-16Sort by
Date
- 4.x
4.13.0-rc3
a80f935
v4.13.0-rc3v4.13.0-rc3954df8f
5cdc785
v4.12.0-rc1v4.12.0-rc1359b20b
v4.11.0v4.11.05ea5e9b
v4.11.0-rc2v4.11.0-rc26e9f624
v4.11.0-rc1v4.11.0-rc166100ae
v4.10.0v4.10.04c7fcdd
v4.10.0-rc2v4.10.0-rc28ecf5a0
v4.10.0-rc1v4.10.0-rc10c6b7f7
v4.9.0v4.9.037843f8
9b058f2
v4.9.0-rc2v4.9.0-rc280a2ec1
v4.9.0-rc1v4.9.0-rc1d5ea35d
bf45758
v4.8.0-rc2v4.8.0-rc2