Lean by Example
プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。
of 32 versions of Lean by Example
1-20Sort by
Date
8dc6868
v4.22.0-rc418.2 MBac2a150
v4.22.0-rc4v4.22.0-rc4fb2ec69
v4.22.0-rc2v4.22.0-rc2e6739f6
v4.21.0-rc3v4.21.0-rc37.5 MBdb50342
v4.21.0-rc2v4.21.0-rc24c5b720
v4.20.0v4.20.0c8d1e31
v4.20.0-rc2v4.20.0-rc27.4 MBba83eee
v4.19.0-rc2v4.19.0-rc2cb6bbf0
v4.18.0v4.18.032b65f3
v4.18.0-rc1v4.18.0-rc1af53022
v4.17.0-rc1v4.17.0-rc15.1 MB5bae9e6
v4.16.0v4.16.02d853c3
v4.16.0-rc2v4.16.0-rc2bb5d890
v4.15.0v4.15.04.5 MB588a32a
v4.15.0-rc1v4.15.0-rc14.7 MB- 4.x
4.13.0-rc3
v4.14.0-rc2v4.14.0-rc24.4 MB - 4.x
4.13.0-rc3
v4.13.0v4.13.0 a80f935
v4.13.0-rc3v4.13.0-rc3954df8f
v4.12.0v4.12.04.1 MB5cdc785
v4.12.0-rc1v4.12.0-rc1