AtHeartEngineer/specs
1
0
Fork 0
mirror of https://github.com/vacp2p/specs.git synced 2026-01-08 23:08:09 -05:00
Code Issues Packages Projects Releases Wiki Activity

Add link to formal specification of GossipSub

Browse Source 
The added link goes to a full formal specification for GossipSub provided in ACL2s, an automated theorem proving environment.
This commit is contained in:
GossipSub FM
2022-11-27 17:03:18 -07:00
committed by GitHub
parent 0ee005fa52
commit b62e9b3bdd
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
pubsub/gossipsub/README.md
View File

@@ -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)