Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
theories
proofmode
notation.v
Find file
Blame
History
Permalink
Add visible notation for empty context in proofmode
· 36b9a605
Ralf Jung
authored
Mar 30, 2017
Fixes issue #85
36b9a605