update readme

examples/README.md

@@ -8,17 +8,18 @@
 
 #### Halmos Tests in External Projects
 
-- [morpho-data-structures] ([TestProveLogarithmicBuckets]): verifying Morpho's complex data structure.
-- [cicada] ([LibPrimeTest], [LibUint1024Test]): verifying Cicada's big (1024-bit) number arithmetic library.
-- [farcaster] ([IdRegistrySymTest], [KeyRegistrySymTest]): verifying the state machine invariants of Farcaster onchain registry contracts.
+- [Morpho Data Structures] ([TestProveLogarithmicBuckets]): verifying Morpho's complex data structure.
+- [Cicada] ([LibPrimeTest], [LibUint1024Test]): verifying Cicada's big (1024-bit) number arithmetic library.
+- [Farcaster] ([IdRegistrySymTest], [KeyRegistrySymTest]): verifying the state machine invariants of Farcaster onchain registry contracts.
 
-[morpho-data-structures]: <https://github.com/morpho-org/morpho-data-structures>
+[Morpho Data Structures]: <https://github.com/morpho-org/morpho-data-structures>
 [TestProveLogarithmicBuckets]: <https://github.com/morpho-org/morpho-data-structures/blob/7f40c102e6bb852746d0d3c2f97ac3f39dae3c9c/test/TestLogarithmicBuckets.t.sol#L121-L182>
 
-[cicada]: <https://github.com/a16z/cicada>
+[Cicada]: <https://github.com/a16z/cicada>
 [LibPrimeTest]: <https://github.com/a16z/cicada/blob/c4dde7737778df759172ecdf7b4b044c60ce1f09/test/LibPrime.t.sol#L220-L232>
 [LibUint1024Test]: <https://github.com/a16z/cicada/blob/c4dde7737778df759172ecdf7b4b044c60ce1f09/test/LibUint1024.t.sol#L222-L245>
-[farcaster]: <https://github.com/farcasterxyz/contracts>
+
+[Farcaster]: <https://github.com/farcasterxyz/contracts>
 [IdRegistrySymTest]: <https://github.com/farcasterxyz/contracts/blob/e56b5765ca28a7df149fb434315df0188a6ab14a/test/IdRegistry/IdRegistry.st.sol>
 [KeyRegistrySymTest]: <https://github.com/farcasterxyz/contracts/blob/e56b5765ca28a7df149fb434315df0188a6ab14a/test/KeyRegistry/KeyRegistry.st.sol>