leanprover/downstream-lean4

A collection of packages downstream of Lean 4.

GitHub repository with 7 stars and 6 forks.

Language: Lean

Open provider repository