Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
algebra
ofe.v
Find file
Blame
History
Permalink
fixpointK_ind
· 94861f1d
Ralf Jung
authored
Feb 21, 2017
94861f1d