https://github.com/lean-ja/lean-by-example

Lean の基本的な構文や機能を紹介するためのサンプルコード集です．
https://github.com/lean-ja/lean-by-example

lean lean4

Last synced: over 1 year 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 (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-06-18T10:43:59.000Z (about 2 years ago)
• Last Synced: 2024-06-18T12:09:43.610Z (about 2 years 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

Awesome Lists containing this project

README

          
# Lean 構文早見表

> [!WARNING]

> このリポジトリの内容は [Lean by Example](https://github.com/lean-ja/lean-by-example) に統合されるため，このリポジトリの開発は凍結されています．

Lean の基本的な構文や機能を紹介するためのサンプルコード集です．