We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Typos, punctuation.
Fix budget.
Updated DafnyEVM_GrantApplication_2023 (markdown)
Add deliverables.
Add methodology.
Update background.