Lean by Example
コード例で学ぶ Lean 言語
of 14 versions of Lean by Example
1-14Sort by
Date
3ab1ff1
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