# madvorak/lean4-tactics

<https://repo.masters-masters.com/en/repos/madvorak/lean4-tactics>

[Home](https://repo.masters-masters.com/en) › [madvorak](https://repo.masters-masters.com/en/owners/madvorak) › [lean4-tactics](https://repo.masters-masters.com/en/repos/madvorak/lean4-tactics)

madvorak/lean4-tactics has 123 stars on GitHub. Its RepoMasters card: Prototype tier. Overview of tactics in Lean 4 for beginners — longer version

| Field | Value |
| --- | --- |
| Owner | [madvorak](https://repo.masters-masters.com/en/owners/madvorak) |
| Stars | 123 |
| Forks | 3 |
| Language | No language |
| License | Unlicense |
| Created | 2023 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [madvorak/lean4-tactics](https://github.com/madvorak/lean4-tactics) |

## Repository

Overview of tactics in Lean 4 for beginners — longer version

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

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