### Required prerequisites - [x] I have searched the [Issue Tracker](https://github.com/tile-ai/tilelang/issues) that this hasn't already been reported. (comment there if it has.) ### Motivation <!-- Please outline the motivation for the proposal. Is your feature request related to a problem? E.g., "I'm always frustrated when [...]". If this is related to another issue, please link here too. --> Right now, the coleasce function requires imm for proving. We can try to generalize it to support symbolic based proving ### Solution _No response_ ### Alternatives _No response_ ### Additional context _No response_
Required prerequisites
Motivation
Right now, the coleasce function requires imm for proving. We can try to generalize it to support symbolic based proving
Solution
No response
Alternatives
No response
Additional context
No response