Jay
Sui + Aptos Move Security Researcher. Formally verifying Move smart contracts with the Move Prover.
@movejay
sr
This section is empty.
Hopefully movejay will start crushing soon.
Sui + Aptos Move Security Researcher. Formally verifying Move smart contracts with the Move Prover.
sr
This section is empty.
Hopefully movejay will start crushing soon.