Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

madvorak/lean4-tactics

Overview of tactics in Lean 4 for beginners — longer version

Owner: madvorak (personal account)
Stars: Stars: 123
Forks: Forks: 3
Language: No language
License: Unlicense
Created: 2023
Tier: Prototype (100 to 249 ★) What this tier means