A comprehensive syntax primer for the Lean programming language, written specifically for JavaScript developers. Covers fundamental concepts including definitions, types, functions, proofs, and the unique ability to write programs alongside mathematical proofs. Demonstrates how Lean combines traditional programming with formal
Table of contents
Why Lean?Declaring DefinitionsSpecifying TypesRunning CodeWriting ProofsOpening NamespacesPassing ArgumentsNesting ExpressionsDeclaring FunctionsMany Ways to Declare a FunctionAdding ArgumentsProving For AllUniversal QuantifierImplicit ArgumentsCommand+Click AnythingProgramming With ProofsSort: