This is my first attempt that I write the codes of a proof of a consensus protocol using TLA+ so some errors may exist.
Download TLA toolbox and add the source code to your own project and then you can run it.
Ryanhya/formulation-proof
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|