Correct project typos - #78

Open

gitmazya wants to merge 3 commits into

coinbase:mainfrom

gitmazya:correct-project-typos

Commits on Jun 29, 2024

Correct typo in Certora spec
gitmazya
committed
e651bfa
Correct typos in explanation/info comments
gitmazya
committed
6a2b522
Correct typos in contract variables
gitmazya
committed
00a21a4