GitHub - steshaw/lean4-playground: lean4-playground

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
sf-lf		sf-lf
tutorial		tutorial
.editorconfig		.editorconfig
.gitignore		.gitignore
Foo.lean		Foo.lean
Main.lean		Main.lean
chapter-01.lean		chapter-01.lean
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
list.lean		list.lean
overlapping.lean		overlapping.lean
take-if.lean		take-if.lean