Environment
@tribbloid/lp2-lc-lean4
•
who needs type constructor? (in lean 4)
prpm install @tribbloid/lp2-lc-lean40 total downloads
💡 Suggested Test Inputs
Loading suggested inputs...
🎯 Community Test Results
Loading results...
📦 Package Info
- Format
- cursor
- Type
- rule
- Category
- general
- License
- Apache-2.0