Skip to content

GitLab

Merged
Created by Robbert Krebbers@robbertkrebbersMaintainer

Shorter barrier proof that uses auth instead of sts.

The title says it all :)