leanprover-community/tutorials

Some Lean tutorials

Lean

183

87 commits

updated Oct 10, 2023

README

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.

Contributors

46 commits

6 commits

4 commits

4 commits

Similar repos

leanprover-community/lean

Lean 3 Theorem Prover (community fork)

434

leanprover-community/tutorials4

Lean 4 tutorial files

64

leanprover-community/lean4-samples

Code samples for Lean 4

80

leanprover/lean

Lean Theorem Prover

2,154

34j/best-of-lean4

A list of awesome lean4 projects. Feel free to add your project.

147

databricks/genai-cookbook

163

yashbuild/Learn-With-Yash-Agrawal

Repo contains resources related to the YouTube Channel Learn With Yash Agrawal where tutorials are…

36

ImperialCollegeLondon/formalising-mathematics-2022

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version…

121

Languages

Lean

99.5%

leanprover-community/tutorials

Some Lean tutorials

Lean

183

87 commits

updated Oct 10, 2023

README

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.

Similar repos

leanprover-community/lean

Lean 3 Theorem Prover (community fork)

434

leanprover-community/tutorials4

Lean 4 tutorial files

64

leanprover-community/lean4-samples

Code samples for Lean 4

80

leanprover/lean

Lean Theorem Prover

2,154

34j/best-of-lean4

A list of awesome lean4 projects. Feel free to add your project.

147

databricks/genai-cookbook

163

yashbuild/Learn-With-Yash-Agrawal

Repo contains resources related to the YouTube Channel Learn With Yash Agrawal where tutorials are…

36

ImperialCollegeLondon/formalising-mathematics-2022

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version…

121

Contributors

46 commits

6 commits

4 commits

4 commits

Languages

Lean

99.5%