Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/lean-ja/lean-by-example
Lean の基本的な構文や機能を紹介するためのサンプルコード集です．
https://github.com/lean-ja/lean-by-example
lean lean4
Last synced: 7 days ago
JSON representation
Lean の基本的な構文や機能を紹介するためのサンプルコード集です．
- Host: GitHub
- URL: https://github.com/lean-ja/lean-by-example
- Owner: lean-ja
- License: apache-2.0
- Created: 2024-03-25T22:32:58.000Z (3 months ago)
- Default Branch: main
- Last Pushed: 2024-06-18T10:43:59.000Z (9 days ago)
- Last Synced: 2024-06-18T12:09:43.610Z (9 days ago)
- Topics: lean, lean4
- Language: Lean
- Homepage: https://lean-ja.github.io/lean-by-example-legacy/
- Size: 161 KB
- Stars: 6
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Lists
- awesome-stars - lean-ja/lean-by-example - コード例で学ぶ Lean 言語 (Lean)
README
# Lean 構文早見表
> [!WARNING]
> このリポジトリの内容は [Lean by Example](https://github.com/lean-ja/lean-by-example) に統合されるため，このリポジトリの開発は凍結されています．
Lean の基本的な構文や機能を紹介するためのサンプルコード集です．