Found 1 document(s)
Page 1 of 1
-
Lean 4 is under active development, and proofs that compile under one version may fail under later versions due to changes in the language, elaborator, libraries, or tooling. While the Lean community accepts this trade-o...