Sign inSign up

lean-ja/lean-by-example

コード例で学ぶ Lean 言語

LeanStars 136Forks 13Watchers 136Open issues 828License Other
Details
仓库信息
Ownerlean-ja
Homepagehttps://lean-ja.github.io/lean-by-example/
GitHubhttps://github.com/lean-ja/lean-by-example
Last pushed2025-12-13
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--