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

Lean 3 file format

File format

3Latest version

Facts

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

Sources: Wikidata (CC0) · Wikidata Q130223835