https://github.com/leodog896/mathlib4-tactics
autogenerated tactics list for mathlib4
https://github.com/leodog896/mathlib4-tactics
lean4 mathlib4
Last synced: about 1 year ago
JSON representation
autogenerated tactics list for mathlib4
- Host: GitHub
- URL: https://github.com/leodog896/mathlib4-tactics
- Owner: LeoDog896
- Created: 2025-01-08T04:05:41.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-01-09T04:06:09.000Z (over 1 year ago)
- Last Synced: 2025-01-23T23:57:17.029Z (over 1 year ago)
- Topics: lean4, mathlib4
- Language: Lean
- Homepage:
- Size: 91.8 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: