Environment
@tribbloid/lp2-lc-lean4
v1.0.0•1 month ago
who needs type constructor? (in lean 4)
prpm install @tribbloid/lp2-lc-lean4💡 Suggested Test Inputs
Loading suggested inputs...
🎯 Community Test Results
Loading results...
📦 Package Info
- Format
- cursor
- Type
- rule
- Category
- development-tools
- License
- Apache-2.0
- Latest Version
- 1.0.0
🔗 Links
📋 Latest Version Details
- Version
- 1.0.0
- Published
- November 13, 2025
- Package Size
- 1.04 KB