### Describe the feature https://github.com/leanEthereum/leanSpec/pull/8#issuecomment-3219816436 ### Additional context _No response_