LTWlanguages & frameworks ltw://languages
Sponsor
LTW
Sponsor
  1. Home
  2. Languages
  3. Lean 4 file format
Language

Lean 4 file format

File format

4Latest version

Facts

Latest version
4
Kind
proof language, file format
File extensions
.lean

Sources: Wikidata (CC0) · Wikidata Q130224300