Rate this book

Theorem Proving in Lean

Name: Theorem Proving in Lean
Rating: 4.63 (8 reviews)

Rate this book

A introduction to using Lean as an interactive theorem prover.

167 pages, ebook

Published July 1, 2018

4 people are currently reading

28 people want to read

7 books2 followers

What do you think?

Rate this book

Create a free account to discover what your friends think of this book!

5 stars

5 (62%)

4 stars

3 (37%)

3 stars

0 (0%)

2 stars

0 (0%)

1 star

0 (0%)

Join the discussion

Get help and learn more about the design.