The file-type-light-leanconfig icon represents a Lean configuration file, used for defining project settings.
Usage, downloads, licensing, and more