ExpertClub
Programming languages
Operating systems
Developers and organizations
Paradigms
Typing disciplines
Licenses
Advertise
ExpertClub
Home
Programming languages
Operating systems
Developers and organizations
Paradigms
Typing disciplines
Licenses
Licenses
Platforms
System types
Countries
Industries
Languages by year
Rankings
ExpertClub
Stories
Advertise
About
Contact
Advertise
Home
Programming languages
Lean file format family
Language
Lean file format family
Facts
Type
file format family, proof language
File extensions
lean
Sources:
Wikidata (CC0)
·
Wikidata Q130225066