Top 6 lean4 open source projects

Experiments with SAT solvers with proofs in Lean 4

Lean4 port of Arduino balance car controller

Work in progress mathlib port for lean 4

Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition

Lean 4 build system and package manager with configuration files written in Lean.

Scientific computing in Lean 4