Some links

Stream: lean4

[Marc Huisinga]

Lean 4: https://github.com/leanprover/lean4
Documentation (incl. setup instructions): https://leanprover.github.io/lean4/doc
Release .zip for experimentation: https://github.com/leanprover/lean4/releases/tag/v4.0.0-m1
An overview of Lean 4: https://www.youtube.com/watch?v=UeGvhfW1v9M
vscode-lean4: https://github.com/mhuisi/vscode-lean4
lean4-mode (emacs): https://github.com/leanprover/lean4/tree/master/lean4-mode

[Mohamed Al-Fahim]

Advent of Code 2020 solutions in Lean 4: https://github.com/rwbarton/advent-of-lean-4