fixes: proofs

README.md

@@ -19,7 +19,7 @@ Linea's stack is made up of multiple repositories, these include:
 - [linea-besu](https://github.com/Consensys/linea-besu): Fork of Besu to implement the Linea-Besu client
 - [linea-sequencer](https://github.com/Consensys/linea-sequencer): A set of Linea-Besu plugins for the sequencer and RPC nodes
 - [linea-arithmetization](https://github.com/Consensys/linea-arithmetization): Linea-Besu plugins to implement the constraints for the circuits used to construct the zero-knowledge proofs
-- [linea-constraints](https://github.com/Consensys/linea-constraints): Constraints applied to the arithmetization, and ultimately to the circuits.
+- [linea-constraints](https://github.com/Consensys/linea-constraints): Constraints applied to the arithmetization, and ultimately to the circuits
 - Coming soon: [linea-specification](https://github.com/Consensys/linea-specification): Home of the zk-EVM specification
 
 Linea abstracts away the complexity of this technical architecture to allow developers to:
@@ -36,7 +36,7 @@ Contributions of any kind are welcome!
 
 1. [Create an issue](https://github.com/Consensys/linea-monorepo/issues)
 > If the proposed update is non-trivial, also tag us for discussion.
-2. Submit the update as a pull request from your [fork of this repo]({https://github.com/Consensys/linea-monorepo/fork), and tag us for review. 
+2. Submit the update as a pull request from your [fork of this repo](https://github.com/Consensys/linea-monorepo/fork), and tag us for review. 
 > Include the issue number in the pull request description and (optionally) in the branch name.
 
 Consider starting with a ["good first issue"](https://github.com/ConsenSys/linea-monorepo/issues?q=is%3Aissue+is%3Aopen+label%3A%22good+first+issue%22).
@@ -50,8 +50,8 @@ Before contributing, ensure you're familiar with:
 
 ### Useful links
 
-[Linea docs](https://docs.linea.build)
-[Linea blog](https://linea.mirror.xyz)
-[Support](https://support.linea.build)
-[Discord](https://discord.gg/linea)
-[Twitter](https://twitter.com/LineaBuild)
+- [Linea docs](https://docs.linea.build)
+- [Linea blog](https://linea.mirror.xyz)
+- [Support](https://support.linea.build)
+- [Discord](https://discord.gg/linea)
+- [Twitter](https://twitter.com/LineaBuild)