“Retro Knowledge” is a section focused on analyzing terms and words associated with @Aptos_Network 
Move is a programming language used for fast and secure execution of transactions on the Aptos blockchain.
The Move prover is a formal verifier for smart contracts written in the Move language, which provides additional protection 
for contract invariants and their behavior.
Enjoy the retro style!