ERC721A tester: halmos v0.0.8 (första versionen jag började arbeta med): 24m15s Halmos V0.3.3 (senaste): 1m13s
1,04K