Revert developers tutorial

Author: minimalsm

public/content/translations/es/developers/docs/smart-contracts/composability/index.md

@@ -57,15 +57,15 @@ Si crea un dapp que requiere que las transacciones se paguen en ETH, puede permi
 
 ### Gobernanza {#governance}
 
-Crear sistemas de gobernanza a medida para una [DAO](/dao/) puede ser costoso y consumir mucho tiempo. En su lugar, se podría utilizar un kit de herramientas de gobernanza de código abierto, como <0">Aragon Client</a>, para arrancar la DAO y poder crear rápidamente un marco de gobernanza.
+Crear sistemas de gobernanza a medida para una [DAO](/dao/) puede ser costoso y consumir mucho tiempo. En su lugar, se podría utilizar un kit de herramientas de gobernanza de código abierto, como Aragon Client, para arrancar la DAO y poder crear rápidamente un marco de gobernanza.
 
 ### Gestión de identidades {#identity-management}
 
 En lugar de crear un sistema de autenticación personalizado o usar proveedores centralizados, puede integrar herramientas de identidad descentralizada (DID) para gestionar la autenticación de los usuarios. Un ejemplo es [SpruceID](https://www.spruceid.com/), un conjunto de herramientas de código abierto que ofrece la funcionalidad de "Iniciar sesión con Ethereum" que permite a los usuarios autenticar identidades con una billetera de Ethereum.
 
 ## Tutoriales relacionados {#related-tutorials}
 
-- [Comience con el desarrollo del fontend de su DApp con create-eth-app:](/developers/tutorials/kickstart-your-dapp-frontend-development-with-create-eth-app/)_ un resumen sobre cómo usar create-eth-app para crear aplicaciones con contratos inteligentes populares previamente formulados. _
+- [Comience con el desarrollo del fontend de su DApp con create-eth-app:](/developers/tutorials/kickstart-your-dapp-frontend-development-with-create-eth-app/) _un resumen sobre cómo usar create-eth-app para crear aplicaciones con contratos inteligentes populares previamente formulados._
 
 ## Más información {#further-reading}
 

public/content/translations/es/developers/tutorials/guide-to-smart-contract-security-tools/index.md

@@ -15,8 +15,8 @@ sourceUrl: https://github.com/crytic/building-secure-contracts/tree/master/progr
 
 Vamos a usar tres técnicas distintas para el análisis de pruebas y programas:
 
-- **Análisis estático con [Slither](/developers/tutorials/how-to-use-slither-to-find-smart-contract-bugs/). ** Todas las rutas del programa se abordan y analizan al mismo tiempo, a través de diferentes presentaciones del programa (por ejemplo, control-flow-graph).
-- **Fuzzing (auditorías de seguridad) con [Echidna](/developers/tutorials/how-to-use-echidna-to-test-smart-contracts/). ** El código se ejecuta con una generación pseudoaleatoria de transacciones. El fuzzer tratará de encontrar una secuencia de transacciones para infringir una propiedad determinada.
+- **Análisis estático con [Slither](/developers/tutorials/how-to-use-slither-to-find-smart-contract-bugs/).** Todas las rutas del programa se abordan y analizan al mismo tiempo, a través de diferentes presentaciones del programa (por ejemplo, control-flow-graph).
+- **Fuzzing (auditorías de seguridad) con [Echidna](/developers/tutorials/how-to-use-echidna-to-test-smart-contracts/).** El código se ejecuta con una generación pseudoaleatoria de transacciones. El fuzzer tratará de encontrar una secuencia de transacciones para infringir una propiedad determinada.
 - **Ejecución simbólica con [Manticore](/developers/tutorials/how-to-use-manticore-to-find-smart-contract-bugs/).** Una técnica de verificación formal, que traduce cada ruta de ejecución a una fórmula matemática, en la que se pueden comprobar las restricciones superiores.
 
 Cada técnica tiene ventajas y obstáculos que serán útiles en <a href=“#determining-security-properties”>casos específicos</a>: