This is a repo full of example specs written in Fault with some equivalent specs written in TLA+ for comparison/reference.
Fault-lang/examples
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a repo full of example specs written in Fault with some equivalent specs written in TLA+ for comparison/reference.