leanprover-community/mathematics_in_lean

This is stars and forks stats for /leanprover-community/mathematics_in_lean repository. As of 09 May, 2024 this repository has 84 stars and 50 forks.

Mathematics in Lean This tutorial depends on Lean 4, VS Code, and Mathlib. You can find the textbook both online and in this repository in html format or as a pdf document. The book is designed to be read as you work through examples and exercises, using a copy of this repository on your computer. Alternatively, you can use Gitpod to run Lean and VS Code in the cloud. This version of Mathematics in Lean is designed for Lean 4 and Mathlib. For the Lean 3 version, see https://github.com/leanprover-community/mathematics_in_lean3. To...