Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.github/workflows		.github/workflows
LeanBook		LeanBook
.gitignore		.gitignore
LeanBook.lean		LeanBook.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

LeanBook

参考

https://www.lambdanote.com/products/leanbook?variant=46228895301801

About

ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発のもの

1 star

0 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages

Lean 100.0%