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 4 file format
Language
Lean 4 file format
Facts
Type
proof language, file format
Latest version
4
File extensions
lean
Sources:
Wikidata (CC0)
·
Wikidata Q130224300