Merge pull request #486 from gossipsubfm/patch-1

Add link to formal specification of GossipSub
libp2p · Nov 28, 2022 · 8586d46 · 8586d46
2 parents 0ee005f + b62e9b3
commit 8586d46
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pubsub/gossipsub/README.md b/pubsub/gossipsub/README.md
@@ -34,3 +34,4 @@ Legend: ✅ = complete, 🏗 = in progress, ❕ = not started yet
 Additional tooling:
 
 - Simulator developed in Gerbil: [vyzo/gerbil-simsub](https://github.com/vyzo/gerbil-simsub)
+- Formal specification developed in ACL2s: [gossipsubfm/gossipsubfm](https://github.com/gossipsubfm/gossipsubfm)