Skip to content

Add Suspension definition and related lemmas

Athul Raj Kollarethrequested to merge
krathul/rt-proofs:suspensions into master

Add definition for the notion of jobs being suspended and establish related lemmas.

Merge request reports