refactor: remove unnecessary exported.Proof interface type#6320
Merged
colin-axner merged 5 commits intomainfrom colin/code-cleanupMay 16, 2024
+2-29
Commits
Commits on May 15, 2024
Commits on May 16, 2024
- committed
Carlos Rodriguez - authoredCarlos Rodriguez
- authored
![coderabbitai[bot]](https://avatars.githubusercontent.com/in/347564?v=4&size=32){kind=avatar}