ProtEnc – Proving Protocols with Typestates in C++github.com2 points·nitnelave··1 commentOpen articleSaveView on HN