Skip to content
Snippets Groups Projects

Shorter barrier proof that uses auth instead of sts.

Merged Robbert Krebbers requested to merge robbert/barrier_auth into master
Compare changes
  • Side-by-side
  • Inline
Files
3
Loading