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

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

Last synced: 3 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 (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-09-19T18:23:04.000Z (9 months ago)
• Last Synced: 2025-01-22T00:56:19.835Z (5 months ago)
• Language: TeX
• Homepage:
• Size: 103 KB
• Stars: 24
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • License: LICENSE

Awesome Lists containing this project

• best-of-lean4 - GitHub