Skip to content
GitLab

Prove stepping (i.e., non-value) version of `atomic_wp_seq`.

Merged Robbert Krebbers requested to merge robbert/atomic_wp_seq_step into master

This allows proving a Texan triple from an atomic triple.