This repository has been archived by the owner on Oct 10, 2023. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 194 Commits
.github		.github
src		src
.gitignore		.gitignore
.gitpod.yml		.gitpod.yml
LICENSE		LICENSE
README.md		README.md
leanpkg.toml		leanpkg.toml
mk_exercises.py		mk_exercises.py

Repository files navigation

lean-tutorials

Warning: This repository is deprecated. It uses an obsolete version of Lean.

The Lean 4 version can be found at https://github.com/leanprover-community/tutorials4. Many more learning resources are listed at https://leanprover-community.github.io/learn.html.

About

Some Lean tutorials

Apache-2.0 license

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 21

+ 7 contributors

Languages