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.

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.
 
@@ -166,7 +166,7 @@ function hello:
 The SDK provides the ability to execute Aleo Instructions programs %100 client-side within the browser.
 
 The `ProgramManager` object encapsulates the functionality for executing programs and making zero knowledge proofs about
-them. Under the hood it uses cryptographic code compiled from [snarkVM](https://docs.leo-lang.org/aleo) into WebAssembly.
+them. Under the hood it uses cryptographic code compiled from [snarkVM](https://developer.aleo.org/guides/aleo/aleo/) into WebAssembly.
 JavaScript bindings to this WebAssembly code allows execution of programs in zero knowledge fully within the browser
 without requiring any external communication with the internet. Users interested in lower level details on how this is
 achieved can visit the [aleo-wasm](https://github.com/ProvableHQ/sdk/tree/testnet3/wasm) crate.