The file-type-light-lean icon represents a Lean theorem file, used for formal verification and proof.
Usage, downloads, licensing, and more