Skip to content
GitLab
Explore
Sign in
Iris
Diaframe
Repository
diaframe
theories
biabd
proofmode_instances.v
Find file
Blame
History
Permalink
Fixed wrong HasRightId instance for ucmras, hopefully fixed barrier_client.
· 326964bd
Ike Mulder
authored
Jan 10, 2022
326964bd