This repository was archived by the owner on Mar 9, 2025. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 147 Commits
.github		.github
LeanBook		LeanBook
assets		assets
booksrc		booksrc
theme		theme
.gitattributes		.gitattributes
.gitignore		.gitignore
.lycheeignore		.lycheeignore
LICENSE		LICENSE
README.md		README.md
book.toml		book.toml
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain