A journey to the world of Numbers

See the website.

Name		Name	Last commit message	Last commit date
Latest commit History 127 Commits
.github		.github
.vscode		.vscode
Numbers		Numbers
beamer		beamer
blueprint		blueprint
home_page		home_page
scripts		scripts
.gitignore		.gitignore
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE		LICENSE
Numbers.lean		Numbers.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Provide feedback