search

Certora / tutorials-code

Certora tutorials
MIT License
19 stars 24 forks source link

docs: fix spelling issues #34

Open nnsW3 opened 1 month ago

nnsW3 commented 1 month ago

Hello I found some minor spelling issues. Br, Elias.