├── README.md ├── SIMULATOR.md ├── SPEC.md └── tla └── index.tla /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/socketsupply/nat-traversal-spec/HEAD/README.md -------------------------------------------------------------------------------- /SIMULATOR.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/socketsupply/nat-traversal-spec/HEAD/SIMULATOR.md -------------------------------------------------------------------------------- /SPEC.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/socketsupply/nat-traversal-spec/HEAD/SPEC.md -------------------------------------------------------------------------------- /tla/index.tla: -------------------------------------------------------------------------------- 1 | --------------------------------------------------------------------------------