Resources
| Resource | What for |
|---|---|
| Functional Programming in Lean | Lean as a programming language |
| Theorem Proving in Lean 4 | Proofs and type theory |
| Natural Number Game | Practicing tactics as a game |
| Mathematics in Lean | Mathematics with Mathlib |
| Lean Zulip | Asking the community (#new members channel) |
| Loogle | Searching for lemmas by their type |