True NFT Stage 0 Formal Verification Proposal

The contestants shall provide the informal audit of the central True NFT smart contracts (the content of true-nft-core directory), hereinafter referred to as “smart contracts”, where the detailed description of the “informal audit” is described below. All debot contracts are excluded from the present contest.

https://forum.freeton.org/t/true-nft-stage-0-formal-verification-proposal/11635