Skip to content

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

Robbert Krebbers requested to merge robbert/atomic_wp_seq_step into master

This allows proving a Texan triple from an atomic triple.

Merge request reports