Fault-lang / examples

Example specs in Fault

Fault Examples

This is a repo full of example specs written in Fault with some equivalent specs written in TLA+ for comparison/reference.