Skip to content
GitLab
Explore
Sign in
Matthieu Sozeau
Iris
Repository
iris
README.md
Find file
Blame
History
Permalink
A note about the Iris LaTeX macros in the README.
· 5221eb39
Robbert Krebbers
authored
Jan 30, 2019
Many people using Iris appear to not know these; this may make them easier to find.
5221eb39