ERC721A teste: halmos v0.0.8 (prima versiune la care am început să lucrez): 24m15s Halmos v0.3.3 (cel mai recent): 1m13s
1,01K