The Leanconfig icon represents a file type associated with Lean configuration settings.
Usage, downloads, licensing, and more