Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
examples
Merge Requests
!16
Merged
Created
May 06, 2019
by
Robbert Krebbers
@robbertkrebbers
Maintainer
Options
Shorter barrier proof that uses auth instead of sts.
Overview
9
Commits
1
Changes
3
The title says it all :)
👍
0
👎
0