Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
docs
iris.sty
Find file
Blame
History
Permalink
Linear VS that do not use tikz, so that the rendering does not depend somewhat on the context.
· c7f4f734
Jacques-Henri Jourdan
authored
Oct 18, 2016
c7f4f734