.lean

Lean theorem prover source with proofs, checked by the Lean compiler

Syntax highlighted

Format facts

MIME type: text/x-lean
Apple UTI: public.source-code
Stock Quick Look: shown as plain text
Planned approach (census): syntax-highlight
Icon hint: generic-icon
Prevalence: niche

Renderer note (from the census)

pure Go trivial

Gotchas: Theorem prover