A field guide to the operators and keywords of the Lean 4 functional programming language.
Primary LanguageLean