issues
search
LayerXcom
/
verified-vyper-contracts
FVyper: A collection of useful Vyper contracts developed with formal methods
Apache License 2.0
55
stars
15
forks
source link
[ERC721] Formal verification
#19
Open
nrryuya
opened
5 years ago
nrryuya
commented
5 years ago
[x] view functions
[ ]
transferFrom
: #62
[ ]
safeTransferFrom
[ ]
approve
[ ]
setApprovalForAll
[ ]
mint
[ ]
burn
transferFrom
: #62safeTransferFrom
approve
setApprovalForAll
mint
burn