fix docs (#489)

Author: entropidelic

docs/SUMMARY.md

@@ -9,7 +9,7 @@
 
 ## Guides
 
-* [Submitting with every proving system](guides/0_proving_systems.md)
+* [Submitting proofs](guides/0_proving_systems.md)
 * [Operators guide](guides/1_operator_guide.md)
 * Making your own app with Aligned
 

docs/guides/0_proving_systems.md

@@ -2,15 +2,15 @@
 
 The following is the list of the verifiers currently supported by Aligned:
 
-:white_check_mark: gnark - Groth16 (with BN254 and BLS12-381)
-:white_check_mark: gnark - Plonk (with BN254 and BLS12-381)
-:white_check_mark: SP1
+- gnark - Groth16 (with BN254) :white_check_mark:
+- gnark - Plonk (with BN254 and BLS12-381) :white_check_mark:
+- SP1 :white_check_mark:
 
 The following proof systems are going to be added soon:
-:black_square_button: Risc0
-:black_square_button: Kimchi
-:black_square_button: Halo2 - Plonk/KZG
-:black_square_button: Halo2 - Plonk/IPA
+- Risc0 :black_square_button:
+- Kimchi :black_square_button:
+- Halo2 - Plonk/KZG :black_square_button: 
+- Halo2 - Plonk/IPA :black_square_button:
 
 ## SP1 proof
 

docs/introduction/1_getting_started.md

@@ -1,6 +1,6 @@
 # Getting started!
 
-In this tutorial you will learn how to send your first SP1 proofs to get verified in Aligne in under 3 minutes.
+In this tutorial you will learn how to send your first SP1 proofs to get verified in Aligned in under 3 minutes.
 
 ## Quickstart
 We will download a proviously generated SP1 proof, send it to Aligned for verification, and retrieve the results from Ethereum Holesky testnet.