TY  - RPRT
TI  - Verification of GossipSub in ACL2s
AU  - Ankit Kumar
AU  - Max von Hippel
AU  - Panagiotis Manolios
AU  - Cristina Nita-Rotaru
PY  - 2023
DO  - 10.4204/eptcs.393.10
UR  - https://arxiv.org/abs/2311.08859
ID  - 2311.08859
ER  -