# hrmacbeth/math2001

<https://repo.masters-masters.com/en/repos/hrmacbeth/math2001>

[Home](https://repo.masters-masters.com/en) › [hrmacbeth](https://repo.masters-masters.com/en/owners/hrmacbeth) › [math2001](https://repo.masters-masters.com/en/repos/hrmacbeth/math2001)

hrmacbeth/math2001 has 388 stars on GitHub. Its RepoMasters card: Alpha tier. Lecture notes for a course on writing proofs, on paper and in the Lean proof…

| Field | Value |
| --- | --- |
| Owner | [hrmacbeth](https://repo.masters-masters.com/en/owners/hrmacbeth) |
| Stars | 388 |
| Forks | 208 |
| Language | [HTML](https://repo.masters-masters.com/en/languages/html) |
| License | None |
| Created | 2022 |
| Topics | lean4 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [hrmacbeth/math2001](https://github.com/hrmacbeth/math2001) |

## Repository

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in HTML

- [cloudtracer/ThreatPinchLookup · ★ 388 · HTML · Alpha](https://repo.masters-masters.com/en/repos/cloudtracer/ThreatPinchLookup)
- [jamportz/snelly · ★ 388 · HTML · Alpha](https://repo.masters-masters.com/en/repos/jamportz/snelly)
- [joshajohnson/Hub16 · ★ 388 · HTML · Alpha](https://repo.masters-masters.com/en/repos/joshajohnson/Hub16)
- [psztorc/Truthcoin · ★ 388 · HTML · Alpha](https://repo.masters-masters.com/en/repos/psztorc/Truthcoin)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.