avigad/mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

Lean191 stars102 forksApache-2.0

Rankings

Daily

#9846

Weekly

#13858

Monthly

#11089

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/avigad/mathematics_in_lean_source.svg)

HTML

<img src="https://trending-repos.com/badge/avigad/mathematics_in_lean_source.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/avigad/mathematics_in_lean_source.svg