VigNAT: A Formally Verified Performant NAT

Article URL: https://vignat.github.io/

Comments URL: https://news.ycombinator.com/item?id=17781378

Points: 45

# Comments: 6

from Hacker News: Front Page https://ift.tt/2Piiv1A
via