English

An Introduction to Lean

by Jeremy Avigad, Leonardo de Moura, Gabriel Ebner, and Sebastian Ullrich This introduction offers a tour of Lean and its features, with a number of examples for you to play around with and explore. Generated from source files from commit 1fc176a of the git repository hosted at https://github.com/avigad/introduction_to_lean , which carries the Apache-2.0 open-source license .

Sign in with your free account to read, download EPUBs or listen.