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
· 42624c94
Jeehoon Kang
authored
Aug 14, 2016
42624c94