package repository?

Stream: lean4

[Siddharth Bhat]

What is the equivalent to crates.io for Lean 4? I feel like I'm beginning to write infrastructure that would be useful for everyone (eg. QuickCheck / SmallCheck, wadler style pretty printers, and so on). I wanted to know if there's some centralized place to upload / download libraries from.

[Sebastian Ullrich]

I think the first, trivial iteration is to use a GitHub topic. Perhaps lean4-pkg since https://github.com/topics/lean4 already has many other things.