Module temporal_logic 

TLA temporal logic definitions and proof rules.

Originally developed in the paper “Anvil: Verifying Liveness of Cluster Management Controllers”. Modified from the original version which can be found on GitHub.

Re-exports

pub use defs::*;

pub use rules::*;

Modules

defs

rules