https://github.com/madvorak/lean4-cheatsheet

Printable (A4) overview of tactics in Lean 4 for beginners
https://github.com/madvorak/lean4-cheatsheet

Last synced: about 2 months ago
JSON representation

Printable (A4) overview of tactics in Lean 4 for beginners

• Host: GitHub
• URL: https://github.com/madvorak/lean4-cheatsheet
• Owner: madvorak
• License: unlicense
• Created: 2023-03-07T15:37:12.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-02-07T08:52:55.000Z (12 months ago)
• Last Synced: 2024-08-10T14:20:57.781Z (5 months ago)
• Language: TeX
• Homepage:
• Size: 94.7 KB
• Stars: 18
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • License: LICENSE

Awesome Lists containing this project

• best-of-lean4 - GitHub