This project contains various supporting libraries for lean to reason about protocols. - View it on GitHub