Remove dead SnarkOS and SnarkVM links.

Author: mikebenfield

README.md

@@ -4,8 +4,6 @@ This repository serves as a public source for documentation source files about A
 You can find them in readable form at [Developer Docs](https://docs.leo-lang.org/).
 Other resources you may find helpful include:
 
-- [📡 SnarkOS](http://snarkos.org/) - A decentralized operating system for private applications.
-- [⚙️ SnarkVM](https://snarkvm.org/) - A virtual machine for zero-knowledge proofs.
 - [🦁 Leo](https://leo-lang.org/) - A programming language for zero-knowledge proofs.
 - [🛝 Playground](http://play.leo-lang.org) - A browser interface to the Leo compiler for rapid ZK development and testing.
 - [🧰 SDK](https://provable.tools/) - A Software Development Kit (SDK) for Aleo.