LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

LeanEmerging

Stars

197

Forks

105

Contributors

8

Last push

7d ago

Recent commits

Latest commits.

bump to Lean v4.30.0
8e112cdJeremy Avigad7d ago
update acknowledgements
bfa25eaJeremy Avigad7d ago
fix theorem name; closes #399.
4bd5c28Jeremy Avigad7d ago
fix updated name; closes #392.
500f78cJeremy Avigad7d ago
simplify notation; closes #383.
78c396cJeremy Avigad7d ago

typo and remove unnecessary arguments; closes #382.

8db259bJeremy Avigad7d ago

clarification; closes #381.

3c36b55Jeremy Avigad7d ago

typo; closes #380.

c456228Jeremy Avigad7d ago

Top contributors

Builders behind this project.

BartoszPiotrowski