lean-ja/lean-by-example

コード例で学ぶ Lean 言語

Lean165 stars14 forks

functional-programmingleanlean4mdbookreferencetheorem-proving

Rankings

Daily

#3305

Weekly

#5457

Monthly

#5417

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/lean-ja/lean-by-example.svg)

HTML

<img src="https://trending-repos.com/badge/lean-ja/lean-by-example.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/lean-ja/lean-by-example.svg