Remove dead SnarkOS and SnarkVM links.

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.

documentation/sdk/create-leo-app/01_create_leo_app.md

@@ -207,11 +207,10 @@ git push -u origin main
 
 2. You also installed [Leo](https://docs.leo-lang.org/leo/), our statically-typed programming language built for writing private applications. Using Leo, you can write, build, compile, and execute Leo programs locally.
 
-3. We provided the `helloworld` Leo program already pre-compiled into Aleo instructions and then executed it locally using WASM + web workers, which was an abstraction on snarkVM’s capabilities. [snarkVM](https://docs.leo-lang.org/aleo/) is the data execution layer. It is used to compile Leo programs and execute them locally off-chain. All Leo programs eventually become Aleo instructions via Aleo’s compiler during the execution phase of snarkVM. 
+3. We provided the `helloworld` Leo program already pre-compiled into Aleo instructions and then executed it locally using WASM + web workers, which was an abstraction on snarkVM’s capabilities. [snarkVM](https://developer.aleo.org/guides/aleo/aleo/) is the data execution layer. It is used to compile Leo programs and execute them locally off-chain. All Leo programs eventually become Aleo instructions via Aleo’s compiler during the execution phase of snarkVM.
 
-4. Similarly, we deployed the `helloworld` program, again using the WASM + web workers abstraction layer but you can also deploy programs on-chain using [snarkOS](https://docs.leo-lang.org/testnet/getting_started/deploy_execute/#deploy), the data availability layer or blockchain / distributed ledger.
+4. Similarly, we deployed the `helloworld` program, again using the WASM + web workers abstraction layer but you can also deploy programs on-chain using [snarkOS](https://developer.aleo.org/guides/aleo/aleo/), the data availability layer or blockchain / distributed ledger.
 
 5. During the tutorial you navigated to [provable.tools](https://provable.tools), which is the graphical interface to our SDK, which serves as an abstraction layer of snarkOS and snarkVM. You’ll find you can perform similar actions (compiling, executing, deploying) on provable.tools. 
 
-
 6. The entire React template along with the WASM and web workers can also be considered an abstraction layer of snarkOS and snarkVM.

documentation/sdk/typescript/00_sdk_overview.md

@@ -130,9 +130,9 @@ Aleo programs provide the ability for users to make any input or output of a pro
 was run correctly. Keeping program inputs and outputs private allows developers to build privacy into their applications.
 
 Zero-Knowledge programs are written in one of two languages:
-1. [Leo](https://docs.leo-lang.org/leo/language): A high level, developer friendly language for developing
+1. [Leo](https://docs.leo-lang.org): A high level, developer friendly language for developing
    zero knowledge programs.
-2. [Aleo Instructions](https://docs.leo-lang.org/aleo/): A low level language that provides developers fine
+2. [Aleo Instructions](https://developer.aleo.org/guides/aleo/aleo/): A low level language that provides developers fine
    grained control over the execution flow of zero knowledge programs. Leo programs are compiled into Aleo Instructions
    under the hood.