Skip to content

GitLab

Merged
Opened by Robbert Krebbers@robbertkrebbersMaintainer

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

This allows proving a Texan triple from an atomic triple.