GaloisInc / lean-protocol-supportLinks

This project contains various supporting libraries for lean to reason about protocols.
43Updated 7 years ago

Alternatives and similar repositories for lean-protocol-support

Users that are interested in lean-protocol-support are comparing it to the libraries listed below

Sorting: