Skip to content

Remove erc20 example

4419fe1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Add support for the Quint specification language #1

Remove erc20 example
4419fe1
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Analyze (go)
succeeded May 6, 2026 in 1m 15s