Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
docs
paradoxes.tex
Find file
Blame
History
Permalink
fixed some proof formatting errors
· 0a151fd4
Derek Dreyer
authored
Oct 06, 2019
0a151fd4