Skip to content
GitLab
Explore
Sign in
Jeehoon Kang
iris-coq
Repository
iris-coq
docs
logic.tex
Find file
Blame
History
Permalink
docs: fix bug in ghost resource laws
· 4429b22d
Jeehoon Kang
authored
Aug 14, 2016
4429b22d