Formal specification of ERC-721 in K
For faster installation, you can use Nix.
$ sh <(curl -L https://nixos.org/nix/install) --no-daemon
Run this command to install K via Nix:
$ bash <(curl https://kframework.org/install)
$ kup install k
You can update K with:
$ kup update k
For more details see here.
For example, run this command to execute approve function of EIP-721.
$ git clone https://github.com/tm99hjkl/erc721-k
$ kompile erc721.k
$ krun tests/approve/approve.test