GitHub - vbeffara/lean: Experiments with Lean

Name		Name	Last commit message	Last commit date
Latest commit History 585 Commits
.vscode		.vscode
scratch		scratch
src		src
.gitignore		.gitignore
Scratch.lean		Scratch.lean
leanpkg.toml		leanpkg.toml
massage.py		massage.py

About

Experiments with Lean

Report repository

Releases

No releases published

Packages

No packages published

Languages