[Feature-request]: concentrated liquidity/ tick math properties
Open
- Dominant language
- Solidity
- Stars
- 371
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the desired feature or improvement
add invariants like https://twitter.com/CertoraInc/status/1727791536933323201
Contributor guide
Assessment
This issue has not been assessed yet.